From 09e7b7150f855997374e1464b4089f53e4d30b45 Mon Sep 17 00:00:00 2001 From: Kareem Date: Thu, 3 Mar 2022 15:46:57 -0700 Subject: [PATCH] Allow overriding make command used for make clean with make. --- configure.ac | 8 ++++++-- 1 file changed, 6 insertions(+), 2 deletions(-) diff --git a/configure.ac b/configure.ac index e4d56db54..12774aba1 100644 --- 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