configure: Replace bash code by standard shell code
authorStefan Weil <sw@weilnetz.de>
Wed, 18 Jul 2012 14:10:21 +0000 (15:10 +0100)
committerBlue Swirl <blauwirbel@gmail.com>
Tue, 31 Jul 2012 20:05:38 +0000 (20:05 +0000)
"+=" does not work with dash and other simple /bin/sh implementations.

The new code prepends the flag while the old code either did not work
(it continued after an error message which typically was not read) or
appended the flag. That difference should not matter here.

Reported-by: Olaf Hering <olaf@aepfle.de>
Signed-off-by: Stefan Weil <sw@weilnetz.de>
Reviewed-by: Peter Maydell <peter.maydell@linaro.org>
Signed-off-by: Blue Swirl <blauwirbel@gmail.com>
configure

index ec95819..f74bf0f 100755 (executable)
--- a/configure
+++ b/configure
@@ -2812,7 +2812,7 @@ int main(int argc, char **argv)
 }
 EOF
   if ! compile_prog "" "" ; then
-    CFLAGS+="-march=i486"
+    CFLAGS="-march=i486 $CFLAGS"
   fi
 fi