diff options
Diffstat (limited to 'Carpet/Timers/param.ccl')
| -rw-r--r-- | Carpet/Timers/param.ccl | 9 |
1 files changed, 8 insertions, 1 deletions
diff --git a/Carpet/Timers/param.ccl b/Carpet/Timers/param.ccl index 2029006c9..d37812b53 100644 --- a/Carpet/Timers/param.ccl +++ b/Carpet/Timers/param.ccl @@ -12,6 +12,14 @@ BOOLEAN verbose "Output (debug) messages when a timer is started or stopped" STE { } "no" +BOOLEAN disable_cactus_timer_set "Disable Cactus timer set" STEERABLE=recover +{ +} "no" + +BOOLEAN disable_timer_trees "Disable timer trees" STEERABLE=recover +{ +} "no" + STRING xml_clock "Which clock to use in the XML timer output file" STEERABLE=always { ".*" :: "must be a legal clock name" @@ -26,4 +34,3 @@ INT output_precision "Number of decimal places to use in standard output for tim { 1:* :: "number of decimal places" } 1 - |