# HG changeset patch
# User wenzelm
# Date 1444152933 -7200
# Node ID a696414fa3a18e93760ce3721d5660c3b33e96c9
# Parent  48600872b12c064042521c1d75e0bfd8bdb23b3a
parallel tests: 6h & 12h;

diff -r 48600872b12c -r a696414fa3a1 Admin/isatest/isatest-makedist
--- a/Admin/isatest/isatest-makedist	Tue Oct 06 18:44:07 2015 +0200
+++ b/Admin/isatest/isatest-makedist	Tue Oct 06 19:35:33 2015 +0200
@@ -101,7 +101,7 @@
 ## spawn test runs
 
 $SSH lxbroy10 "
-  $MAKEALL -x HOL-Proofs $HOME/settings/at64-poly;
+  $MAKEALL -x HOL-Proofs $HOME/settings/at64-poly &
   $MAKEALL -l HOL-Library $HOME/settings/at-sml-dev-e"
 sleep 15
 $SSH lxbroy4 "