gnunet-arm may take longer to run, assume all is well

diff --git a/src/testing/testing.c b/src/testing/testing.c
index e393a68f2af421029ad82a58dc07d876ede65d19..6533365fcce7bbfe7452c4f01699e60dd431ee02 100644 (file)
--- a/src/testing/testing.c
+++ b/src/testing/testing.c
@@ -809,6 +809,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))
         {
           cb = d->cb;
@@ -823,6 +824,7 @@ start_fsm (void *cls, const struct GNUNET_SCHEDULER_TaskContext *tc)
                 : _("`ssh' does not seem to terminate.\n"));
           return;
         }
+#endif
 #if DEBUG_TESTING
       GNUNET_log (GNUNET_ERROR_TYPE_DEBUG, "Service startup complete!\n");
 #endif