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.
use both processors on macbroy5
authorkleing
Sat, 25 Jun 2005 12:37:07 +0200
changeset 16567 1ff73dc29166
parent 16566 3c7a97472be5
child 16568 e02fe7ae212b
use both processors on macbroy5
Admin/isatest-makeall file | annotate | diff | comparison | revisions 
--- a/Admin/isatest-makeall	Sat Jun 25 02:43:43 2005 +0200
+++ b/Admin/isatest-makeall	Sat Jun 25 12:37:07 2005 +0200
@@ -66,8 +66,8 @@
         NICE="nice"
         ;;
 
-    macbroy*)
-        MFLAGS=""
+    macbroy5)
+        MFLAGS="-j 2"
         NICE=""
         ;;
isabelle