From 496780f80befe69e86427c614ef09631d81185e6 Mon Sep 17 00:00:00 2001
From: midipix <writeonce@midipix.org>
Date: Jan 10 2019 03:43:12 +0000
Subject: build system: configure: set mb_shell to /bin/sh if not set.


---

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"