summaryrefslogtreecommitdiffhomepage
diff options
context:
space:
mode:
authormidipix <writeonce@midipix.org>2019-01-02 10:15:29 -0500
committermidipix <writeonce@midipix.org>2019-01-02 22:21:15 -0500
commit4048e93e2593ec18547cc554234fedd4ca320666 (patch)
tree62210e0d9e8fe1c4b4e290b176cc8e631ba81b91
parent40af0acb9f1e161f6efd21e0fca0e2eac3d8337a (diff)
downloadpemagine-4048e93e2593ec18547cc554234fedd4ca320666.tar.bz2
pemagine-4048e93e2593ec18547cc554234fedd4ca320666.tar.xz
build system: configure: set mb_shell to /bin/sh if not set.
-rwxr-xr-xconfigure5
1 files changed, 5 insertions, 0 deletions
diff --git a/configure b/configure
index ba3985b..7be6f75 100755
--- a/configure
+++ b/configure
@@ -351,6 +351,11 @@ common_defaults()
fi
fi
+ # shell
+ if [ -z "$mb_shell" ]; then
+ mb_shell='/bin/sh'
+ fi
+
# inherited cflags & ldflags
mb_cflags_cmdline="$mb_cflags_cmdline $mb_cflags"
mb_ldflags_cmdline="$mb_ldflags_cmdline $mb_ldflags"