From 0c76e6790e40a0ec7d4b84c1ba7f02546e232d0b Mon Sep 17 00:00:00 2001 From: midipix Date: Wed, 2 Jan 2019 10:15:29 -0500 Subject: build system: configure: set mb_shell to /bin/sh if not set. --- configure | 5 +++++ 1 file changed, 5 insertions(+) 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" -- cgit v1.2.3