diff options
| -rw-r--r-- | src/main/Banner.c | 3 | ||||
| -rw-r--r-- | src/main/CactusDefaultEvolve.c | 3 | ||||
| -rw-r--r-- | src/main/CactusDefaultInitialise.c | 2 | ||||
| -rw-r--r-- | src/main/SetupCache.c | 3 | ||||
| -rw-r--r-- | src/main/ShutdownCactus.c | 4 |
5 files changed, 15 insertions, 0 deletions
diff --git a/src/main/Banner.c b/src/main/Banner.c index a4fc99ef..27e01af5 100644 --- a/src/main/Banner.c +++ b/src/main/Banner.c @@ -166,6 +166,9 @@ void CCTK_PrintBanners(void) } printf("--------------------------------------------------------------------------------\n"); } + + USE_CCTK_PARAMETERS + } diff --git a/src/main/CactusDefaultEvolve.c b/src/main/CactusDefaultEvolve.c index 0719b0a4..98b43dda 100644 --- a/src/main/CactusDefaultEvolve.c +++ b/src/main/CactusDefaultEvolve.c @@ -210,6 +210,9 @@ int CactusDefaultEvolve(tFleshConfig *config) #endif return 0; + + USE_CCTK_PARAMETERS + } /************************************************************************/ diff --git a/src/main/CactusDefaultInitialise.c b/src/main/CactusDefaultInitialise.c index 5befd58a..d838b0a9 100644 --- a/src/main/CactusDefaultInitialise.c +++ b/src/main/CactusDefaultInitialise.c @@ -150,4 +150,6 @@ int CactusInitialiseGH(cGH *GH) return 1; + USE_CCTK_PARAMETERS + } diff --git a/src/main/SetupCache.c b/src/main/SetupCache.c index cf4e1cff..c29a62ef 100644 --- a/src/main/SetupCache.c +++ b/src/main/SetupCache.c @@ -63,4 +63,7 @@ int CCTKi_SetupCache(void) CCTKi_CacheDataSet(cacheline_bytes, cache_size); return 0; + + USE_CCTK_PARAMETERS + } diff --git a/src/main/ShutdownCactus.c b/src/main/ShutdownCactus.c index 150bc79f..05fd0694 100644 --- a/src/main/ShutdownCactus.c +++ b/src/main/ShutdownCactus.c @@ -34,6 +34,7 @@ static char *rcsid = "$Id$"; @@*/ int ShutdownCactus(tFleshConfig *ConfigData) { + DECLARE_CCTK_PARAMETERS if (CCTK_Equals(cctk_timer_output,"full")) @@ -41,4 +42,7 @@ int ShutdownCactus(tFleshConfig *ConfigData) CCTK_SchedulePrintTimes(NULL); } return 0; + + USE_CCTK_PARAMETERS + } |