Commit 2f066172 authored by Mart Lubbers's avatar Mart Lubbers

Refine stack and time profiling flags to match clm

parent 8dbbc3f5
......@@ -185,13 +185,13 @@ where
set_project_option RTSFlagsOn project
= PR_SetApplicationOptions {PR_GetApplicationOptions project & disable_rts_flags=False} project
set_project_option TimeProfileOff project
= PR_SetApplicationOptions {PR_GetApplicationOptions project & profiling=False} project
= PR_SetApplicationOptions {PR_GetApplicationOptions project & profiling=False, stack_traces=False} project
set_project_option TimeProfileOn project
= PR_SetApplicationOptions {PR_GetApplicationOptions project & profiling=True} project
= PR_SetApplicationOptions {PR_GetApplicationOptions project & profiling=True, stack_traces=False} project
set_project_option StackTraceOff project
= PR_SetApplicationOptions {PR_GetApplicationOptions project & stack_traces=False} project
= PR_SetApplicationOptions {PR_GetApplicationOptions project & profiling=False, stack_traces=False} project
set_project_option StackTraceOn project
= PR_SetApplicationOptions {PR_GetApplicationOptions project & stack_traces=True} project
= PR_SetApplicationOptions {PR_GetApplicationOptions project & profiling=True, stack_traces=True} project
set_project_option MemoryProfileOff project
= PR_SetApplicationOptions {PR_GetApplicationOptions project & memoryProfiling=False} project
set_project_option MemoryProfileOn project
......@@ -228,10 +228,9 @@ doProjectAction _ _ _ _ world =
, " : -b,-nr,-nc,-sc"
, " : Set the output option to BasicValuesOnly, NoReturnType,"
, " : NoConsole or ShowConstructors respectively"
, " : -tst, -ntst"
, " : Enable or disable stack tracing"
, " : -pt, -npt"
, " : Enable or disable time profiling"
, " : -pt, -npt, -tst, ntst"
, " : Enable or disable time profiling and stack tracing"
, " : Note that these are mutually exclusive and if you select multiple, the last one will take effect"
, " : -mp, -nmp"
, " : Enable or disable memory profiling"
] world
......
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