summaryrefslogtreecommitdiffhomepage
diff options
context:
space:
mode:
authormidipix <writeonce@midipix.org>2021-04-24 14:17:30 +0000
committermidipix <writeonce@midipix.org>2021-04-24 14:18:28 +0000
commit8089943e70794a8e0bfb23e93af58dc8e6d419c4 (patch)
tree8073f6676e92ccb09f533967943653f341099628
parent73645830f664e907324afd2c2939bf93f534712f (diff)
downloadpemagine-8089943e70794a8e0bfb23e93af58dc8e6d419c4.tar.bz2
pemagine-8089943e70794a8e0bfb23e93af58dc8e6d419c4.tar.xz
build system: configure: respect project-specific make{mode} preferences.
-rwxr-xr-xconfigure9
1 files changed, 9 insertions, 0 deletions
diff --git a/configure b/configure
index a100d6d..8ec7015 100755
--- a/configure
+++ b/configure
@@ -169,6 +169,15 @@ init_vars()
. "$mb_config"
+ # config.project make preferences
+ if [ -z "${MAKE}" ]; then
+ MAKE="$mb_make"
+ fi
+
+ if [ -z "${MAKEMODE}" ]; then
+ MAKEMODE="$mb_makemode"
+ fi
+
# package
if [ -z "$mb_package" ]; then
error_msg "$mb_script: incomplete information in $mb_config."