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 | |
| parent | e8a075f349c1d657cc18f4bee56183ad835f1c8f (diff) | |
| download | mdso-d53f69671d7e6cf1aee4e11a0946855ebafc8f7a.tar.bz2 mdso-d53f69671d7e6cf1aee4e11a0946855ebafc8f7a.tar.xz | |
build system: configure: set mb_shell to /bin/sh if not set.
| -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" |