diff options
| author | Maxime Dénès | 2020-02-25 10:27:03 +0100 |
|---|---|---|
| committer | Maxime Dénès | 2020-02-25 10:27:03 +0100 |
| commit | 1bc8cd6390a3208659d563b1363f9bc0d87643a0 (patch) | |
| tree | c34231a90befeae3e30524312b564484d378c06c | |
| parent | ff3755c88f813f1a0e40e08128521cce81e38273 (diff) | |
| parent | 0bd1afb3c87b6fa08c036b97d662a29138683f6e (diff) | |
Merge PR #11432: More portable C flags
Reviewed-by: ejgallego
Reviewed-by: silene
| -rw-r--r-- | configure.ml | 2 |
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" |