diff options
author | Cyril SIX <cyril.six@kalray.eu> | 2020-03-10 11:18:06 +0100 |
---|---|---|
committer | Cyril SIX <cyril.six@kalray.eu> | 2020-03-10 11:18:06 +0100 |
commit | 103083dfcef7a71a57fd6c05af276db1f034ac75 (patch) | |
tree | c2d7fd14efaf9ae198dd06460981c6531a80917a /driver/Driver.ml | |
parent | b016de5a1a8230b5a6c51d8e7cd8829d39a4c781 (diff) | |
download | compcert-kvx-103083dfcef7a71a57fd6c05af276db1f034ac75.tar.gz compcert-kvx-103083dfcef7a71a57fd6c05af276db1f034ac75.zip |
Fixing build
Diffstat (limited to 'driver/Driver.ml')
-rw-r--r-- | driver/Driver.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/driver/Driver.ml b/driver/Driver.ml index dd357423..43aedf50 100644 --- a/driver/Driver.ml +++ b/driver/Driver.ml @@ -318,7 +318,7 @@ let cmdline_actions = [ Exact "-O0", Unit (unset_all optimization_options); Exact "-O", Unit (set_all optimization_options); - _Regexp "-O1", Self (fun _ -> set_all optimization_options (); option_fpostpass := false; option_fduplicate := false); + _Regexp "-O1", Self (fun _ -> set_all optimization_options (); option_fpostpass := false); _Regexp "-O[123]$", Unit (set_all optimization_options); Exact "-Os", Set option_Osize; Exact "-Obranchless", Set option_Obranchless; |