diff options
author | allen <allen@17b73243-c579-4c4c-a9d2-2d5706c11dac> | 2000-01-12 13:18:41 +0000 |
---|---|---|
committer | allen <allen@17b73243-c579-4c4c-a9d2-2d5706c11dac> | 2000-01-12 13:18:41 +0000 |
commit | 1f80bc5a88f6c391ece63384416199b465dc68f1 (patch) | |
tree | d84cff05bd922ba06c4d6050d0c1dd380a129425 | |
parent | 958947ae827613b0f18e3197812091444c2546ad (diff) |
Adding USE_CCTK_PARAMETERS
git-svn-id: http://svn.cactuscode.org/flesh/trunk@1235 17b73243-c579-4c4c-a9d2-2d5706c11dac
-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 + } |