Modify tools/pgtest to run the 'make' command from a variable, and default

to 'make' rather than 'gmake' for the binary name.

diff --git a/src/tools/pgtest b/src/tools/pgtest
index c5356fced8809741757900d6a93d1be7e0c6e0c6..ffb528302db338c5793ce5ae507ff3203c47d220 100755 (executable)
--- a/src/tools/pgtest
+++ b/src/tools/pgtest
@@ -8,7 +8,9 @@
 # have enough kernel resources to run two postmasters or
 # stop your main postmaster before running this script.
 #
-# Use -n to prevent 'gmake clean'
+# Use -n to prevent 'make clean'
+
+MAKE="make"
 
 [ ! -d src ] && echo "This must be run from the top of the PostgreSQL source tree" 1>&2 && exit 1
 
@@ -18,7 +20,7 @@ TMP="/tmp/$$"
 
 [ "X$1" != "X-n" ] && PGCLEAN=clean
 
-(gmake $PGCLEAN check 2>&1; echo "$?" > $TMP/ret) |
+($MAKE $PGCLEAN check 2>&1; echo "$?" > $TMP/ret) |
    (tee  $TMP/0; exit `cat $TMP/ret`) &&
 cat $TMP/0 |
 # The following grep's have to be adjusted for your setup because