Commit 3f2aefaea8ed050e2641dfaa880651a7d27253d5

Thomas de Grivel 2024-07-24T18:25:22

wait for 8 jobs by default

diff --git a/test/ikc3_test b/test/ikc3_test
index d42fd08..6db0875 100755
--- a/test/ikc3_test
+++ b/test/ikc3_test
@@ -41,6 +41,8 @@ fi
 rm -f *.diff *.out *.ret
 rm -f .test .test_ko .test_ok
 touch .test .test_ko .test_ok
+TARGET_COUNT=8
+TARGET_I=0
 for TARGET in $TARGETS; do
     (
         RESULT=test_ok
@@ -63,6 +65,11 @@ for TARGET in $TARGETS; do
             test_ko ${TARGET}
         fi
     ) &
+    TARGET_I=$(($TARGET_I + 1))
+    if [ "x$TARGET_I" = "x$TARGET_COUNT" ]; then
+        wait
+        TARGET_I=0
+    fi
 done
 wait
 TEST_COUNT=$(echo $(wc -l .test) | cut -f 1 -d ' ')