diff options
| author | midipix <writeonce@midipix.org> | 2019-01-02 10:15:29 -0500 |
|---|---|---|
| committer | midipix <writeonce@midipix.org> | 2019-01-02 22:21:21 -0500 |
| commit | e2f3c4b4e25250b270e59f1e76f9972daf68d8d6 (patch) | |
| tree | 666a2b9c5453d38288e55630f0a5dd64dc0159fc /configure | |
| parent | 040de9d30723a5b681a6aca0d18c3f13e87bc884 (diff) | |
| download | w32lib-e2f3c4b4e25250b270e59f1e76f9972daf68d8d6.tar.bz2 w32lib-e2f3c4b4e25250b270e59f1e76f9972daf68d8d6.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" |