Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Admin/isatest/isatest-makeall
changeset 32953 e52e6e5c0ca5
parent 32932 f24fd64d27a2
child 33214 885e1b7ecb33 
--- a/Admin/isatest/isatest-makeall	Thu Oct 15 23:28:10 2009 +0200
+++ b/Admin/isatest/isatest-makeall	Thu Oct 15 23:51:22 2009 +0200
@@ -63,7 +63,7 @@
         ;;
   
     sunbroy2)
-        MFLAGS="-k -j 2"
+        MFLAGS="-k -j 6"
         NICE="nice"
         ;;
isabelle