diff options
Diffstat (limited to 'src/param.ccl')
| -rw-r--r-- | src/param.ccl | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/src/param.ccl b/src/param.ccl index 1009baa3..622886be 100644 --- a/src/param.ccl +++ b/src/param.ccl @@ -4,6 +4,12 @@ private: +KEYWORD cctk_timer_output "Provide output from timers" +{ + "off" :: "No timer output" + "full" :: "Detailed timer output" +} "off" + BOOLEAN cctk_full_warnings "Give detailed information for each warning statement" { } "yes" |