diff --git a/configure b/configure index 7c1a54ed5a..862f851141 100755 --- a/configure +++ b/configure @@ -3179,6 +3179,10 @@ else fi check_cflags -fno-math-errno check_cflags -fno-signed-zeros +check_cc -mno-red-zone <