about summary refs log tree commit diff
diff options
context:
space:
mode:
authorEelco Dolstra <e.dolstra@tudelft.nl>2005-05-04T16·28+0000
committerEelco Dolstra <e.dolstra@tudelft.nl>2005-05-04T16·28+0000
commitd8a31da1ea418de9c1fb7968b95d74d700a7a54f (patch)
treea3b5cda16b56592112d8851d84ac1034eea0e868
parent36fb29f8f0317144a0074d7b6689912a4dc40325 (diff)
* Use `$(MAKE)' instead of `make' for systems where `make' isn't GNU
  make (such as FreeBSD).

-rw-r--r--externals/Makefile.am8
1 files changed, 4 insertions, 4 deletions
diff --git a/externals/Makefile.am b/externals/Makefile.am
index d22a590348e1..7a5c29d5db34 100644
--- a/externals/Makefile.am
+++ b/externals/Makefile.am
@@ -26,8 +26,8 @@ build-db: have-db
 	 ../dist/configure --prefix=$$pfx/inst-bdb \
 	 --enable-cxx --disable-shared --disable-cryptography \
          --disable-replication --disable-verify && \
-	make && \
-	make install)
+	$(MAKE) && \
+	$(MAKE) install)
 	touch build-db
 endif
 
@@ -57,8 +57,8 @@ build-aterm: have-aterm
 	(pfx=`pwd` && \
 	cd $(ATERM) && \
 	CC="$(CC)" ./configure --prefix=$$pfx/inst-aterm && \
-	make && \
-	make install)
+	$(MAKE) && \
+	$(MAKE) install)
 	touch build-aterm
 endif