diff options
| author | midipix <writeonce@midipix.org> | 2018-12-23 04:25:15 -0500 |
|---|---|---|
| committer | midipix <writeonce@midipix.org> | 2018-12-24 10:52:05 -0500 |
| commit | 0ab9bda1c71cd6cd42393c279ed4e1f288cf67e3 (patch) | |
| tree | 3ebbff29eadabe86c424774f2ec1d8883320cb00 /configure | |
| parent | 1c84d545eb04371f3746354f5de2b3d3ab6fd561 (diff) | |
| download | pemagine-0ab9bda1c71cd6cd42393c279ed4e1f288cf67e3.tar.bz2 pemagine-0ab9bda1c71cd6cd42393c279ed4e1f288cf67e3.tar.xz | |
build system: config_support(): initial clean-up.
Diffstat (limited to 'configure')
| -rwxr-xr-x | configure | 8 |
1 files changed, 4 insertions, 4 deletions
@@ -639,14 +639,14 @@ config_support() mbt_cc=$(make .display-cc) mbt_cflags=$(make .display-cflags) mbt_source='int foo(int x){return ++x;}' - mbt_result='no' + mbt_result=no rm -f a.out - echo "$mbt_source" | "$mbt_cc" -shared -o a.out -xc - - stat a.out >/dev/null 2>&1 && mbt_result=yes + printf '%s' "$mbt_source" | $mbt_cc -shared -o a.out -xc - + [ -f a.out ] && mbt_result=yes rm -f a.out - if [ "$mbt_result" = 'no' ]; then + if [ $mbt_result = no ]; then mb_disable_shared=yes config_copy fi |