From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Sat, 2 Mar 2019 00:48:48 +0000 (+0000)
Subject: actually install new opt!
X-Git-Url: https://www.chiark.greenend.org.uk/ucgi/~ian/git?a=commitdiff_plain;h=72248202a23538e70d48e7f44a02a4ea4e8294ad;p=pandemic-rising-tide.git

actually install new opt!
---

diff --git a/maybe-rerun-optim b/maybe-rerun-optim
index ce28614..d3ad5b4 100755
--- a/maybe-rerun-optim
+++ b/maybe-rerun-optim
@@ -24,3 +24,6 @@ if cmp $sums.tmp $sums; then
 fi
 
 "$planar_graph" <$input "$@"
+
+inst
+mv -f $sums.tmp $sums