From f3b8833a48472c3545ea8673d687ea9cadcedd61 Mon Sep 17 00:00:00 2001
From: Eelco Dolstra <e.dolstra@tudelft.nl>
Date: Mon, 19 Apr 2010 14:51:58 +0000
Subject: * Drop the dependency on the ATerm library.

---
 substitute.mk | 1 -
 1 file changed, 1 deletion(-)

(limited to 'substitute.mk')

diff --git a/substitute.mk b/substitute.mk
index 729116477..50d63ef5c 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 $@
-- 
cgit v1.2.3