diff options
| -rw-r--r-- | src/main/ShutdownCactus.c | 10 | ||||
| -rw-r--r-- | src/param.ccl | 6 |
2 files changed, 15 insertions, 1 deletions
diff --git a/src/main/ShutdownCactus.c b/src/main/ShutdownCactus.c index 155505a4..602936dd 100644 --- a/src/main/ShutdownCactus.c +++ b/src/main/ShutdownCactus.c @@ -8,8 +8,10 @@ @@*/ #include <stdio.h> +#include <stdlib.h> -#include "cctk_Flesh.h" +#include "cctk.h" +#include "cctk_parameters.h" static char *rcsid = "$Id$"; @@ -30,5 +32,11 @@ static char *rcsid = "$Id$"; @@*/ int ShutdownCactus(tFleshConfig *ConfigData) { + DECLARE_CCTK_PARAMETERS + + if (CCTK_Equals(cctk_timer_output,"full")) + { + CCTK_SchedulePrintTimes(NULL); + } return 0; } 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" |