From 72248202a23538e70d48e7f44a02a4ea4e8294ad Mon Sep 17 00:00:00 2001
From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Sat, 2 Mar 2019 00:48:48 +0000
Subject: [PATCH] actually install new opt!

---
 maybe-rerun-optim | 3 +++
 1 file changed, 3 insertions(+)

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
-- 
2.30.2