summaryrefslogtreecommitdiffhomepage
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:55:02 +0000
commit4b946dacc499a14cc73e9114b3bbcf1fe609e467 (patch)
treef730e85f9805686cdceb17b7bf0274bc856a4e30 /configure
parentf5fdfab6cb7cd50caa4dfaefb8669b082e79b5d1 (diff)
downloadw32lib-4b946dacc499a14cc73e9114b3bbcf1fe609e467.tar.bz2
w32lib-4b946dacc499a14cc73e9114b3bbcf1fe609e467.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#*=}