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 33214 885e1b7ecb33
parent 32953 e52e6e5c0ca5
child 36074 6301046146b6 
--- a/Admin/isatest/isatest-makeall	Mon Oct 26 20:42:08 2009 +0100
+++ b/Admin/isatest/isatest-makeall	Mon Oct 26 20:45:24 2009 +0100
@@ -63,7 +63,7 @@
         ;;
   
     sunbroy2)
-        MFLAGS="-k -j 6"
+        MFLAGS="-k -j 2"
         NICE="nice"
         ;;
isabelle