about summary refs log tree commit diff
path: root/externals
diff options
context:
space:
mode:
Diffstat (limited to 'externals')
-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