From 53626aa54c39aa6b82b499db1dc4dbd9024bd8b5 Mon Sep 17 00:00:00 2001
From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Thu, 28 Feb 2019 12:37:27 +0000
Subject: [PATCH] add Makefile dep

---
 Makefile | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/Makefile b/Makefile
index d15de38..b64603c 100644
--- a/Makefile
+++ b/Makefile
@@ -10,8 +10,8 @@ map.plag: generate-plag input-graph Parse.pm
 	./$< input-graph $o
 
 # create opt.plag.reuse to shortcut this
-opt.plag: maybe-rerun-optim map.plag $(PLANAR_GRAPH)
-	./$^ $@ .opt.plag.sums \
+opt.plag: maybe-rerun-optim map.plag $(PLANAR_GRAPH) Makefile
+	./$(filter-out Makefile, $^) $@ .opt.plag.sums \
 		R					\
 		DUAL					\
 		OUTER-F2V OUTER-SPLIT			\
-- 
2.30.2