coq: fix compiles on 8-core machines

2011-07-01 20:09:03 -07:00 · 2011-07-01 20:09:03 -07:00 · 3cb6900780
commit 3cb6900780
parent 7fb6195e14
1 changed files with 1 additions and 1 deletions
--- a/Formula/coq.rb
+++ b/Formula/coq.rb
@ -26,8 +26,8 @@ class Coq < Formula
                          "-coqide", "none",
                          "-with-doc", "no",
                          "-arch", arch
-    system "make world"
    ENV.j1 # Otherwise "mkdir bin" can be attempted by more than one job
+    system "make world"
    system "make install"
  end