From 020edd303206b33ca68f3d9c840ae11c5292ddd2 Mon Sep 17 00:00:00 2001
From: Martin Stein <martin.stein@genode-labs.com>
Date: Fri, 31 Jan 2014 14:07:17 +0100
Subject: [PATCH] noux_fork: raise MAX_COUNT to 1000

To see the output of both, forker and fork, we must give the test
more time on OKL4 as fork seems to be not so fast with this kernel.

ref #989
---
 ports/src/test/noux_fork/test.cc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/ports/src/test/noux_fork/test.cc b/ports/src/test/noux_fork/test.cc
index 73f6f6b79..4db1b5021 100644
--- a/ports/src/test/noux_fork/test.cc
+++ b/ports/src/test/noux_fork/test.cc
@@ -8,7 +8,7 @@
 #include <unistd.h>
 #include <errno.h>
 
-enum { MAX_COUNT = 100 };
+enum { MAX_COUNT = 1000 };
 
 int main(int, char **)
 {