CI: Add MAKE_BIN to allow non-default makes. [skip ci]

Same as in tcpdump.

Author: infrastation

build.sh

@@ -6,6 +6,7 @@
 : "${CMAKE:=no}"
 : "${REMOTE:=no}"
 : "${LIBPCAP_TAINTED:=no}"
+: "${MAKE_BIN:=make}"
 
 . ./build_common.sh
 # Install directory prefix
@@ -94,19 +95,19 @@ else
     run_after_echo cmake ${CFLAGS:+-DEXTRA_CFLAGS="$CFLAGS"} \
         -DCMAKE_INSTALL_PREFIX="$PREFIX" -DENABLE_REMOTE="$REMOTE" ..
 fi
-run_after_echo make -s clean
+run_after_echo "$MAKE_BIN" -s clean
 if [ "$CMAKE" = no ]; then
-    run_after_echo make -s ${CFLAGS:+CFLAGS="$CFLAGS"}
-    run_after_echo make -s testprogs ${CFLAGS:+CFLAGS="$CFLAGS"}
+    run_after_echo "$MAKE_BIN" -s ${CFLAGS:+CFLAGS="$CFLAGS"}
+    run_after_echo "$MAKE_BIN" -s testprogs ${CFLAGS:+CFLAGS="$CFLAGS"}
 else
     # The "-s" flag is a no-op and CFLAGS is set using -DEXTRA_CFLAGS above.
-    run_after_echo make
-    run_after_echo make testprogs
+    run_after_echo "$MAKE_BIN"
+    run_after_echo "$MAKE_BIN" testprogs
 fi
-run_after_echo make install
+run_after_echo "$MAKE_BIN" install
 if [ "$CMAKE" = no ]; then
     run_after_echo testprogs/findalldevstest
-    run_after_echo make releasetar
+    run_after_echo "$MAKE_BIN" releasetar
 else
     run_after_echo run/findalldevstest
 fi

build_matrix.sh

@@ -12,6 +12,9 @@
 # not warning-free because of the OS, the compiler or whatever other factor
 # that the scripts can detect both in and out of CI.
 : "${LIBPCAP_TAINTED:=no}"
+# Some OSes have native make without parallel jobs support and sometimes have
+# GNU Make available as "gmake".
+: "${MAKE_BIN:=make}"
 # It calls the build.sh script which runs one build with setup environment
 # variables: CC, CMAKE and REMOTE.
 
@@ -45,7 +48,7 @@ for CC in $MATRIX_CC; do
             # Run one build with setup environment variables: CC, CMAKE and REMOTE
             run_after_echo ./build.sh
             echo 'Cleaning...'
-            if [ "$CMAKE" = yes ]; then rm -rf build; else make distclean; fi
+            if [ "$CMAKE" = yes ]; then rm -rf build; else "$MAKE_BIN" distclean; fi
             purge_directory "$PREFIX"
             run_after_echo git status -suall
             # Cancel changes in configure