Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
parallel tests: 6h & 12h;
authorwenzelm
Tue, 06 Oct 2015 19:35:33 +0200
changeset 61346 a696414fa3a1
parent 61345 48600872b12c
child 61347 2ebdd603cd71
parallel tests: 6h & 12h;
Admin/isatest/isatest-makedist file | annotate | diff | comparison | revisions 
--- 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 "
isabelle