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

Patch from Jørgen Austvik

diff --git a/Makefile b/Makefile
index ff4bf18dd0daf3c6ee0e7245cb8f58669c7b4383..3ab2cc363afe6609af15148eb97236e21460506b 100644 (file)
--- 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: