From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Thu, 28 Feb 2019 12:37:27 +0000 (+0000)
Subject: add Makefile dep
X-Git-Url: http://www.chiark.greenend.org.uk/ucgi/~ian/git?a=commitdiff_plain;h=53626aa54c39aa6b82b499db1dc4dbd9024bd8b5;p=pandemic-rising-tide.git

add Makefile dep
---

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			\