From 11cdd413e87b862e8efebcb1dac702c31f7d1f4d 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(+) (limited to 'configure') 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