summaryrefslogtreecommitdiff
path: root/configure
diff options
context:
space:
mode:
authormidipix <writeonce@midipix.org>2021-04-10 13:49:05 +0000
committermidipix <writeonce@midipix.org>2021-04-10 20:54:41 +0000
commit19ccfa1ac79bc90f0ad898c70948f77bb8b50d83 (patch)
tree78be0e115b356ef12a1361e3bfeba0d0ce8412b7 /configure
parent2a07d4c072de2010542318966a0e5c06fe4aef1e (diff)
downloadmdso-19ccfa1ac79bc90f0ad898c70948f77bb8b50d83.tar.bz2
mdso-19ccfa1ac79bc90f0ad898c70948f77bb8b50d83.tar.xz
build system: configure: added --makemode and MAKEMODE support.
Diffstat (limited to 'configure')
-rwxr-xr-xconfigure9
1 files changed, 9 insertions, 0 deletions
diff --git a/configure b/configure
index a555eb6..ff05411 100755
--- a/configure
+++ b/configure
@@ -214,6 +214,7 @@ init_vars()
# make
mb_make=$MAKE
+ mb_makemode=$MAKEMODE
# build
mb_build=$BUILD
@@ -608,6 +609,10 @@ common_defaults()
mb_make='make'
fi
+ if [ -z "$mb_makemode" ]; then
+ mb_makemode='posix'
+ fi
+
# shell
if [ -z "$mb_shell" ]; then
mb_shell='/bin/sh'
@@ -943,6 +948,10 @@ for arg ; do
mb_make=${arg#*=}
;;
+ --makemode=*)
+ mb_makemode=${arg#*=}
+ ;;
+
# build
--build=*)
mb_build=${arg#*=}