diff --git a/externals/Makefile.am b/externals/Makefile.am
index 4819b95fea4b05aac72642088b2f49b23c27bcff..6da79ab8a9361d50797b12028a32b4402f20d634 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