summaryrefslogtreecommitdiffhomepage
path: root/configure
diff options
context:
space:
mode:
authormidipix <writeonce@midipix.org>2021-04-09 09:30:51 +0000
committermidipix <writeonce@midipix.org>2021-04-10 20:54:49 +0000
commit6b310499b04993e36412f9b39fdb8087f5db557f (patch)
tree4cee7cc700680f700289311371eab53a20e1adc7 /configure
parent58ca8a16802a84aab24e9374903d45248128a6e7 (diff)
downloadptycon-6b310499b04993e36412f9b39fdb8087f5db557f.tar.bz2
ptycon-6b310499b04993e36412f9b39fdb8087f5db557f.tar.xz
build system: configure: added --make and MAKE support.
Diffstat (limited to 'configure')
-rwxr-xr-xconfigure13
1 files changed, 12 insertions, 1 deletions
diff --git a/configure b/configure
index 62c2b11..2240589 100755
--- a/configure
+++ b/configure
@@ -211,6 +211,8 @@ init_vars()
mb_pdfdir=$PDFDIR
mb_psdir=$PSDIR
+ # make
+ mb_make=$MAKE
# build
mb_build=$BUILD
@@ -600,6 +602,11 @@ common_defaults()
fi
fi
+ # make
+ if [ -z "$mb_make" ]; then
+ mb_make='make'
+ fi
+
# shell
if [ -z "$mb_shell" ]; then
mb_shell='/bin/sh'
@@ -732,7 +739,7 @@ config_host()
{
output_step_prolog ${mb_script} 'config_host'
- make -s host.tag \
+ ${mb_make} -s host.tag \
&& output_step_epilog \
&& return 0
@@ -887,6 +894,10 @@ for arg ; do
mb_psdir=${arg#*=}
;;
+ #make
+ --make=*)
+ mb_make=${arg#*=}
+ ;;
# build
--build=*)