chiark
/
gitweb
/
~ian
/
pandemic-rising-tide.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
|
inline
| side by side (parent:
1120c1a
)
add Makefile dep
author
Ian Jackson
<ijackson@chiark.greenend.org.uk>
Thu, 28 Feb 2019 12:37:27 +0000
(12:37 +0000)
committer
Ian Jackson
<ijackson@chiark.greenend.org.uk>
Thu, 28 Feb 2019 12:37:27 +0000
(12:37 +0000)
Makefile
patch
|
blob
|
history
diff --git
a/Makefile
b/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
./$< 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 \
R \
DUAL \
OUTER-F2V OUTER-SPLIT \