diff options
author | allen <allen@17b73243-c579-4c4c-a9d2-2d5706c11dac> | 1999-11-12 14:45:13 +0000 |
---|---|---|
committer | allen <allen@17b73243-c579-4c4c-a9d2-2d5706c11dac> | 1999-11-12 14:45:13 +0000 |
commit | 76c61752fc50d17c5dd0a8dd3219f177d35a2984 (patch) | |
tree | 2cf24c92653c8176833da00a45d07534c85d5aee /src | |
parent | addff6330beeb9a1c7e30a29b2be1a9b194882f2 (diff) |
Add option for displaying timer output
git-svn-id: http://svn.cactuscode.org/flesh/trunk@1154 17b73243-c579-4c4c-a9d2-2d5706c11dac
Diffstat (limited to 'src')
-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" |