chiark / gitweb /
~ian / pandemic-rising-tide.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: 20c3e41)
actually install new opt!
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Sat, 2 Mar 2019 00:48:48 +0000 (00:48 +0000)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Sat, 2 Mar 2019 00:48:48 +0000 (00:48 +0000)
maybe-rerun-optim patch | blob | history

diff --git a/maybe-rerun-optim b/maybe-rerun-optim
index ce28614a7b6ab9a71e29aeb5bf76ed9fc5d6c976..d3ad5b4c5da372eaa63e87b7e939355fbee748aa 100755 (executable)
--- 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
program to generate a new board for Pandemic Rising Tide