diff options
author | midipix <writeonce@midipix.org> | 2019-01-02 10:15:29 -0500 |
---|---|---|
committer | midipix <writeonce@midipix.org> | 2019-01-02 22:21:10 -0500 |
commit | d53f69671d7e6cf1aee4e11a0946855ebafc8f7a (patch) | |
tree | a0212dd6e3501fdfbc4743152ec52e0c592bf1fc /configure | |
parent | e8a075f349c1d657cc18f4bee56183ad835f1c8f (diff) | |
download | mdso-d53f69671d7e6cf1aee4e11a0946855ebafc8f7a.tar.bz2 mdso-d53f69671d7e6cf1aee4e11a0946855ebafc8f7a.tar.xz |
build system: configure: set mb_shell to /bin/sh if not set.
Diffstat (limited to 'configure')
-rwxr-xr-x | configure | 5 |
1 files changed, 5 insertions, 0 deletions
@@ -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" |