diff options
author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2006-03-01 12:15:33 +0000 |
---|---|---|
committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2006-03-01 12:15:33 +0000 |
commit | a4c63c6e8e161d55778b797e566d9eca7c47f34f (patch) | |
tree | 9caaa0d38d12836f5de88b41aecff988b8ff9472 /substitute.mk | |
parent | 85793fa438847974330123a8d4160283fcfa18f7 (diff) |
* Make it easy to run individual tests from the command line.
Diffstat (limited to 'substitute.mk')
-rw-r--r-- | substitute.mk | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/substitute.mk b/substitute.mk index 2b7f38610..2e28e5867 100644 --- a/substitute.mk +++ b/substitute.mk @@ -16,6 +16,8 @@ -e "s^@perl\@^$(perl)^g" \ -e "s^@coreutils\@^$(coreutils)^g" \ -e "s^@tar\@^$(tar)^g" \ + -e "s^@dot\@^$(dot)^g" \ + -e "s^@aterm_bin\@^$(aterm_bin)^g" \ -e "s^@version\@^$(VERSION)^g" \ < $< > $@ || rm $@ if test -x $<; then chmod +x $@; fi |