about summary refs log tree commit diff
diff options
context:
space:
mode:
authorEelco Dolstra <e.dolstra@tudelft.nl>2004-02-16T16·48+0000
committerEelco Dolstra <e.dolstra@tudelft.nl>2004-02-16T16·48+0000
commit86b7efbdbe3c2da0f788df3ee7839cf3b88f7120 (patch)
tree1b88530bd6115474d9d32636bdbba3c8cf21a2be
parent0dfdafdf6de4f741ff60637843f0e7900384cd9f (diff)
* Don't build ATerm library if we don't need to.
-rw-r--r--externals/Makefile.am4
1 files changed, 4 insertions, 0 deletions
diff --git a/externals/Makefile.am b/externals/Makefile.am
index 4819b95fea4b..6da79ab8a936 100644
--- a/externals/Makefile.am
+++ b/externals/Makefile.am
@@ -50,6 +50,9 @@ have-aterm:
 	$(MAKE) $(ATERM)
 	touch have-aterm
 
+if HAVE_ATERM
+build-aterm:
+else
 build-aterm: have-aterm
 	(pfx=`pwd` && \
 	cd $(ATERM) && \
@@ -58,6 +61,7 @@ build-aterm: have-aterm
 	make && \
 	make install)
 	touch build-aterm
+endif
 
 
 all: build-db build-aterm