summaryrefslogtreecommitdiffhomepage
path: root/configure
diff options
context:
space:
mode:
authormidipix <writeonce@midipix.org>2018-12-23 04:25:15 -0500
committermidipix <writeonce@midipix.org>2018-12-24 10:52:00 -0500
commit56a4a2dd73d55dbea1bf41854cbeb7e10151e0f3 (patch)
tree55f6e55187b16c05f6cf0b46224b21458e22a851 /configure
parent06944e8f0f9ab16093fe39a0d64c8806bb779142 (diff)
downloadmdso-56a4a2dd73d55dbea1bf41854cbeb7e10151e0f3.tar.bz2
mdso-56a4a2dd73d55dbea1bf41854cbeb7e10151e0f3.tar.xz
build system: config_support(): initial clean-up.
Diffstat (limited to 'configure')
-rwxr-xr-xconfigure8
1 files changed, 4 insertions, 4 deletions
diff --git a/configure b/configure
index 8425401..0c0ac00 100755
--- a/configure
+++ b/configure
@@ -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