Skip to content
Snippets Groups Projects
Commit 86b7efbd authored by Eelco Dolstra's avatar Eelco Dolstra
Browse files

* Don't build ATerm library if we don't need to.

parent 0dfdafdf
No related branches found
No related tags found
No related merge requests found
......@@ -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
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment