From ee964555b8e2b1e6a2800f4730dc556879d4e7ae Mon Sep 17 00:00:00 2001
From: Adam Vandenberg
Date: Fri, 1 Jul 2011 20:09:03 -0700
Subject: coq: fix compiles on 8-core machines

---
 Library/Formula/coq.rb | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'Library/Formula')

diff --git a/Library/Formula/coq.rb b/Library/Formula/coq.rb
index a1f218813..5d41a70b5 100644
--- a/Library/Formula/coq.rb
+++ b/Library/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
 
-- 
cgit v1.2.3