diff options
author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2010-04-19T14·51+0000 |
---|---|---|
committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2010-04-19T14·51+0000 |
commit | f3b8833a48472c3545ea8673d687ea9cadcedd61 (patch) | |
tree | 3143fb3d27d506864c72770492dcf01d85e21c80 /substitute.mk | |
parent | efc7a579e880ec15ebe9afc0d8766c85c7d53ec2 (diff) |
* Drop the dependency on the ATerm library.
Diffstat (limited to 'substitute.mk')
-rw-r--r-- | substitute.mk | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/substitute.mk b/substitute.mk index 729116477795..50d63ef5c73b 100644 --- a/substitute.mk +++ b/substitute.mk @@ -24,7 +24,6 @@ -e "s^@xmllint\@^$(xmllint)^g" \ -e "s^@xmlflags\@^$(xmlflags)^g" \ -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 $@ |