From d8a31da1ea418de9c1fb7968b95d74d700a7a54f Mon Sep 17 00:00:00 2001 From: Eelco Dolstra Date: Wed, 4 May 2005 16:28:39 +0000 Subject: [PATCH] * Use `$(MAKE)' instead of `make' for systems where `make' isn't GNU make (such as FreeBSD). --- externals/Makefile.am | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/externals/Makefile.am b/externals/Makefile.am index d22a59034..7a5c29d5d 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