aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--configure.ml2
1 files changed, 1 insertions, 1 deletions
diff --git a/configure.ml b/configure.ml
index 89d9ed9d2a..6e15cdbe4e 100644
--- a/configure.ml
+++ b/configure.ml
@@ -923,7 +923,7 @@ let datadir,datadirsuffix = let (_,_,d,s) = select "DATADIR" in d,s
(** * CC runtime flags *)
-let cflags_dflt = "-Wall -Wno-unused -g -O2 -fexcess-precision=standard"
+let cflags_dflt = "-Wall -Wno-unused -g -O2 -std=c99 -fasm"
let cflags_sse2 = "-msse2 -mfpmath=sse"