From 717c45080c1791ac163c4336d007db163d753bc3 Mon Sep 17 00:00:00 2001
From: "Nathan S. Evans" <evans@in.tum.de>
Date: Tue, 26 Jul 2011 14:56:37 +0000
Subject: gnunet-arm may take longer to run, assume all is well

---
 src/testing/testing.c | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'src')

diff --git a/src/testing/testing.c b/src/testing/testing.c
index e393a68f2..6533365fc 100644
--- 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
-- 
cgit v1.2.3