Commit e9a8d48a authored by ttuegel's avatar ttuegel
Browse files

Retain --enable-executable-profiling

The option has the same effect as --enable-profiling. It is retained for
backwards compatibility.
parent 480c7e29
......@@ -453,11 +453,16 @@ configureOptions showOrParseArgs =
configDynExe (\v flags -> flags { configDynExe = v })
(boolOpt [] [])
,option "" ["profiling", "executable-profiling"]
,option "" ["profiling"]
"Executable profiling (requires library profiling)"
configProfExe (\v flags -> flags { configProfExe = v })
(boolOpt [] [])
,option "" ["executable-profiling"]
"Executable profiling (DEPRECATED)"
configProfExe (\v flags -> flags { configProfExe = v })
(boolOpt [] [])
,multiOption "optimization"
configOptimization (\v flags -> flags { configOptimization = v })
[optArg' "n" (Flag . flagToOptimisationLevel)
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment