diff --git a/configure b/configure index 08b86b621b..2f6167fddb 100755 --- a/configure +++ b/configure @@ -8014,11 +8014,6 @@ fi enabled ftrapv && check_cflags -ftrapv -test_cc -mno-red-zone <