Allow overriding make command used for make clean with make.

2022-03-03 15:46:57 -07:00
parent deea6261e9
commit 09e7b7150f
1 changed files with 6 additions and 2 deletions
--- a/configure.ac
+++ b/configure.ac
@ -7720,10 +7720,14 @@ then
    # force make clean
    AC_MSG_NOTICE([---])
    AC_MSG_NOTICE([Running make clean...])
+    if test -z "$MAKE"; then
+        MAKE="make"
+    fi
+
    if test "$verbose" = "yes"; then
-        make clean
+        $MAKE clean
    else
-        make clean >/dev/null
+        $MAKE clean >/dev/null
    fi
 fi