1 files changed, 6 insertions, 0 deletions
diff --git a/Carpet/Timers/src/CactusTimerSet.cc b/Carpet/Timers/src/CactusTimerSet.cc
index 54eed2f70..8fe60bdb4 100644
--- a/Carpet/Timers/src/CactusTimerSet.cc
+++ b/Carpet/Timers/src/CactusTimerSet.cc
@@ -31,12 +31,18 @@ namespace Timers {
   // Add a timer
   void CactusTimerSet::add(CactusTimer* const timer)
   {
+    DECLARE_CCTK_PARAMETERS;
+    
+    if (disable_cactus_timer_set) return;
     timers.insert(timer);
   }
   
   // Remove a timer
   void CactusTimerSet::remove(CactusTimer* const timer)
   {
+    DECLARE_CCTK_PARAMETERS;
+    
+    if (disable_cactus_timer_set) return;
     timers.erase(timer);
   }