From fca2baefe151a8f3fd55cb0924cace403ca4eb98 Mon Sep 17 00:00:00 2001
From: bdemsky <bdemsky>
Date: Tue, 29 Aug 2006 09:12:33 +0000
Subject: [PATCH] make debug output optional

---
 Robust/src/Runtime/runtime.c | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/Robust/src/Runtime/runtime.c b/Robust/src/Runtime/runtime.c
index a48abf6c..65c808d2 100644
--- a/Robust/src/Runtime/runtime.c
+++ b/Robust/src/Runtime/runtime.c
@@ -158,8 +158,10 @@ void flagorand(void * ptr, int ormask, int andmask) {
 
 /* Handler for signals */
 void myhandler(int sig, struct __siginfo *info, void *uap) {
+#ifdef DEBUG
   printf("sig=%d\n",sig);
   printf("signal\n");
+#endif
   longjmp(error_handler,1);
 }
 
@@ -202,7 +204,9 @@ void executetasks() {
       if (setjmp(error_handler)) {
 	/* Recover */
 	int h;
+#ifdef DEBUG
 	printf("Recovering\n");
+#endif
 	genputtable(failedtasks,tpd,tpd);
 	restorecheckpoint(tpd->task->numParameters, taskpointerarray, checkpoint, forward, reverse);
       } else {
-- 
2.34.1