diff options
author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2006-07-21 13:21:43 +0000 |
---|---|---|
committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2006-07-21 13:21:43 +0000 |
commit | 9c3099d3286b7bc8582b1685ba1917db409cac0c (patch) | |
tree | 40c3bc18f1408ef70e1e5dd446460bab762c831e /substitute.mk | |
parent | 7adaa6d4466063893c9ac6b5b7d71c423be34b69 (diff) |
* Purify `make check'.
Diffstat (limited to 'substitute.mk')
-rw-r--r-- | substitute.mk | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/substitute.mk b/substitute.mk index 18e4585d7..5038bd4bf 100644 --- a/substitute.mk +++ b/substitute.mk @@ -23,5 +23,6 @@ -e "s^@xsltproc\@^$(xsltproc)^g" \ -e "s^@aterm_bin\@^$(aterm_bin)^g" \ -e "s^@version\@^$(VERSION)^g" \ + -e "s^@testPath\@^$(coreutils):$$(dirname $$(type -P expr))^g" \ < $< > $@ || rm $@ if test -x $<; then chmod +x $@; fi |