diff --git a/configure b/configure index ef3697e3c4..b9badcafc6 100755 --- a/configure +++ b/configure @@ -3073,6 +3073,10 @@ else fi check_cflags -fno-math-errno check_cflags -fno-signed-zeros +check_cc -mno-red-zone <