move CubeAbove knowledge to misc-data.pl

[pandemic-rising-tide.git] / maybe-rerun-optim

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