diff options
| author | midipix <writeonce@midipix.org> | 2023-05-07 05:23:59 +0000 |
|---|---|---|
| committer | midipix <writeonce@midipix.org> | 2023-05-07 05:32:44 +0000 |
| commit | 0db4404752d9cafc97df714c27128dde7ed82cee (patch) | |
| tree | 955b387465972a326ae940ef4ecf793992d7efce /configure | |
| parent | 77e0ef38c69781ce19020bfff5f6ef005b4cfb38 (diff) | |
| download | w32lib-0db4404752d9cafc97df714c27128dde7ed82cee.tar.bz2 w32lib-0db4404752d9cafc97df714c27128dde7ed82cee.tar.xz | |
build system: ./configure: base SHELL on the environment's CONFIG_SHELL.
Diffstat (limited to 'configure')
| -rwxr-xr-x | configure | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -275,7 +275,7 @@ init_vars() mb_toolchain=$TOOLCHAIN mb_sysroot=$SYSROOT mb_cross_compile=$CROSS_COMPILE - mb_shell=$SHELL + mb_shell=$CONFIG_SHELL # pkgconf mb_pkgconf=$PKGCONF |