diff options
| author | Cyril SIX <cyril.six@kalray.eu> | 2019-03-01 12:06:09 +0100 |
|---|---|---|
| committer | Cyril SIX <cyril.six@kalray.eu> | 2019-03-01 12:06:09 +0100 |
| commit | 50affca71434b1e1ca3e75ce8f62a304ed1913cf (patch) | |
| tree | 5ac14619a1d4810709198480757e0f4428e5ee3e /driver | |
| parent | f50d5b2e7d689a0033943fca270d322b33c1a781 (diff) | |
| download | compcert-kvx-50affca71434b1e1ca3e75ce8f62a304ed1913cf.tar.gz compcert-kvx-50affca71434b1e1ca3e75ce8f62a304ed1913cf.zip | |
Added long double = double by default on Kalray architecture
Diffstat (limited to 'driver')
| -rw-r--r-- | driver/Clflags.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/driver/Clflags.ml b/driver/Clflags.ml index 99ee41e7..77fae8ee 100644 --- a/driver/Clflags.ml +++ b/driver/Clflags.ml @@ -15,7 +15,7 @@ let prepro_options = ref ([]: string list) let linker_options = ref ([]: string list) let assembler_options = ref ([]: string list) -let option_flongdouble = ref false +let option_flongdouble = ref (Configuration.arch = "mppa_k1c") let option_fstruct_passing = ref false let option_fbitfields = ref false let option_fvararg_calls = ref true |