diff options
| author | midipix <writeonce@midipix.org> | 2019-01-02 10:15:29 -0500 |
|---|---|---|
| committer | midipix <writeonce@midipix.org> | 2019-01-02 22:21:20 -0500 |
| commit | 42f3b07fc2e65d355f0ff34029897de72399b0fd (patch) | |
| tree | 14c51c59221a52600e35730ce56387b77205e6c9 /configure | |
| parent | 5bf0a5aa30db5fa111205615280fa38554d6c611 (diff) | |
| download | u16ports-42f3b07fc2e65d355f0ff34029897de72399b0fd.tar.bz2 u16ports-42f3b07fc2e65d355f0ff34029897de72399b0fd.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" |