From: Marko Kreen <markokr@gmail.com>
Date: Fri, 8 Aug 2008 08:28:55 +0000 (+0000)
Subject: Change the makefile to use "$(MAKE)" instead of "make".
X-Git-Tag: pgbouncer_1_2_3~7
X-Git-Url: https://granicus.if.org/sourcecode?a=commitdiff_plain;h=03ddbee6e14e0022c86aed9cbbf8f061d0be4837;p=pgbouncer

Change the makefile to use "$(MAKE)" instead of "make".

Patch from Jørgen Austvik
---

diff --git a/Makefile b/Makefile
index ff4bf18..3ab2cc3 100644
--- a/Makefile
+++ b/Makefile
@@ -85,10 +85,10 @@ tgz: config.mak $(DISTFILES) $(MANPAGES)
 	rm -rf $(FULL)
 
 doc/pgbouncer.1:
-	make -C doc pgbouncer.1
+	$(MAKE) -C doc pgbouncer.1
 
 doc/pgbouncer.5:
-	make -C doc pgbouncer.5
+	$(MAKE) -C doc pgbouncer.5
 
 # create debian package
 deb: configure
@@ -140,7 +140,7 @@ tags: $(srcs) $(hdrs)
 # run sparse over code
 check: config.mak
 	REAL_CC="$(CC)" \
-	make clean pgbouncer CC=cgcc
+	$(MAKE) clean pgbouncer CC=cgcc
 
 # profiled exe
 pgbouncer.pg: