diff options
Diffstat (limited to 'configure')
-rwxr-xr-x | configure | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -2360,8 +2360,8 @@ else fi rm -f conftest* LIBS="$saved_LIBS" - CFLAGS="$saved_CFLAGS" fi +CFLAGS="$saved_CFLAGS" # Flags needed for both GMP and/or MPFR |