From 929310323b4c8c8f5e0fd1ef349913cd08184eab Mon Sep 17 00:00:00 2001
From: midipix <writeonce@midipix.org>
Date: Dec 23 2018 09:41:31 +0000
Subject: build system: config_support(): initial clean-up.


---

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