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 32932 f24fd64d27a2
parent 32889 c7cd4d3852dd
child 32953 e52e6e5c0ca5 
--- a/Admin/isatest/isatest-makeall	Wed Oct 14 16:39:35 2009 +0200
+++ b/Admin/isatest/isatest-makeall	Wed Oct 14 16:45:26 2009 +0200
@@ -63,7 +63,7 @@
         ;;
   
     sunbroy2)
-        MFLAGS="-k -j 6"
+        MFLAGS="-k -j 2"
         NICE="nice"
         ;;
isabelle