Properly register the waiter in wait_any_for(), so that it gets handled on suspend...

[simgrid.git] / teshsuite / mc / mcmini / barber_shop_ok.c

diff --git a/teshsuite/mc/mcmini/barber_shop_ok.c b/teshsuite/mc/mcmini/barber_shop_ok.c
index b0f17ca8598d21faedfcdfdb7143be0397bb0213..827b8db873700cf24789cd67a5c354608b2a0f67 100644 (file)
--- a/teshsuite/mc/mcmini/barber_shop_ok.c
+++ b/teshsuite/mc/mcmini/barber_shop_ok.c
@@ -145,8 +145,10 @@ int main(int argc, char* argv[])
     exit(-1);
   }
 
-  printf("\nSleepBarber.c\n\n");
-  printf("A solution to the sleeping barber problem using semaphores.\n");
+  if (DEBUG) {
+    printf("\nSleepBarber.c\n\n");
+    printf("A solution to the sleeping barber problem using semaphores.\n");
+  }
 
   // Initialize the random number generator with a new seed.
   srand48(RandSeed);