From 026d8bf506a0a4afebe4e41ad5ce2e7523c45ffc Mon Sep 17 00:00:00 2001 From: Michael Schmidt Date: Tue, 9 Jul 2019 10:38:36 +0200 Subject: -O0 now implies -fno-inlining --- driver/Driver.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'driver/Driver.ml') diff --git a/driver/Driver.ml b/driver/Driver.ml index bd2b4cee..be1252f9 100644 --- a/driver/Driver.ml +++ b/driver/Driver.ml @@ -254,7 +254,7 @@ let dump_mnemonics destfile = let optimization_options = [ option_ftailcalls; option_fifconversion; option_fconstprop; option_fcse; - option_fredundancy; option_finline_functions_called_once; + option_fredundancy; option_finline; option_finline_functions_called_once; ] let set_all opts () = List.iter (fun r -> r := true) opts -- cgit