diff options
| author | Adam Vandenberg | 2011-07-01 20:09:03 -0700 |
|---|---|---|
| committer | Adam Vandenberg | 2011-07-01 20:09:03 -0700 |
| commit | ee964555b8e2b1e6a2800f4730dc556879d4e7ae (patch) | |
| tree | d057cd7bb5a3bb6370e6ff55d8aae497ca660f42 /Library/Formula | |
| parent | c60d27cd9fbf2ff287459fc38d6d0772f0f06b34 (diff) | |
| download | homebrew-ee964555b8e2b1e6a2800f4730dc556879d4e7ae.tar.bz2 | |
coq: fix compiles on 8-core machines
Diffstat (limited to 'Library/Formula')
| -rw-r--r-- | Library/Formula/coq.rb | 2 |
1 files changed, 1 insertions, 1 deletions
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 |