From a5bc4bf09c8eb9c5544bc7ed11a83cd5a68ed3ea Mon Sep 17 00:00:00 2001
From: jjgarcia <jjgarcia>
Date: Fri, 10 May 2002 07:33:18 +0000
Subject: [PATCH] Do not impose "make" as the default make program, because in
 BSD we must use GNU make.

---
 Makefile.in | 9 ++++-----
 1 file changed, 4 insertions(+), 5 deletions(-)

diff --git a/Makefile.in b/Makefile.in
index 823b60980..68a91a769 100644
--- a/Makefile.in
+++ b/Makefile.in
@@ -28,7 +28,6 @@
 #      everything deleted by distclean.
 
 SHELL = /bin/sh
-MAKE = make  # BSD doesn't have it as a default.
 MACHINE = @MACHINE@
 
 # ========================= Last release ================================
@@ -78,9 +77,9 @@ Makefile: Makefile.in build/config.status
 # ==================== Installation ====================
 
 install: build/Makefile
-	(cd build; make install)
+	(cd build; $(MAKE) install)
 uninstall:
-	(cd build; make uninstall)
+	(cd build; $(MAKE) uninstall)
 
 # ==================== Documentation ====================
 
@@ -135,7 +134,7 @@ doc: build/doc/index.html
 	-mkdir doc
 	cp build/doc/*.html doc
 build/doc/index.html:
-	cd build/doc; make
+	cd build/doc; $(MAKE)
 
 source-dist: ecl.tgz ecl-tests.tgz
 
@@ -160,7 +159,7 @@ binary-dist: all
 	for i in tmp$(bindir) tmp$(infodir) tmp$(mandir) tmp$(libdir); do \
 	(echo $$i; IFS="/"; for k in $$i; do echo $$k; (test -d $$k || mkdir $$k); chmod 755 $$k; cd $$k; done); \
 	done
-	PREFIX=`pwd`/tmp; cd build; make install PREFIX="$${PREFIX}"
+	PREFIX=`pwd`/tmp; cd build; $(MAKE) install PREFIX="$${PREFIX}"
 	su -c "chown -R root.root tmp && cd tmp; tar czf ../ecl-$(VERSION)-$(MACHINE).tgz * && cd .. && rm -rf tmp"
 
 dist: