chiark / gitweb /
add Makefile dep
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Thu, 28 Feb 2019 12:37:27 +0000 (12:37 +0000)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Thu, 28 Feb 2019 12:37:27 +0000 (12:37 +0000)
Makefile

index d15de38419dee23a3f28e32024153cf30e061279..b64603c56e3ab0cefbc1146156d7137dee2005c8 100644 (file)
--- 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                   \