gnunet-arm is too smart for its own good

diff --git a/src/testing/testing.c b/src/testing/testing.c
index 6533365fcce7bbfe7452c4f01699e60dd431ee02..79c67e89c2c8f812e58ee3655a6d5326b0d1807b 100644 (file)
--- a/src/testing/testing.c
+++ b/src/testing/testing.c
@@ -853,6 +853,7 @@ start_fsm (void *cls, const struct GNUNET_SCHEDULER_TaskContext *tc)
                                             &start_fsm, d);
           return;
         }
+#if EXTRA_CHECKS
       if ((type != GNUNET_OS_PROCESS_EXITED) || (code != 0))
         {
           if (NULL != d->dead_cb)
@@ -861,6 +862,7 @@ start_fsm (void *cls, const struct GNUNET_SCHEDULER_TaskContext *tc)
                         ("shutdown (either `gnunet-arm' or `ssh') did not complete cleanly.\n"));
           return;
         }
+#endif
 #if DEBUG_TESTING
       GNUNET_log (GNUNET_ERROR_TYPE_DEBUG, "Service shutdown complete.\n");
 #endif