diff options
| author | Adam Vandenberg | 2013-07-08 10:06:50 -0700 |
|---|---|---|
| committer | Adam Vandenberg | 2013-07-08 10:06:50 -0700 |
| commit | f8a50a75df4c6996e2b206f864119c4f35193845 (patch) | |
| tree | 873dcfa7c890c4858c2a751477d0717e0553511d /Library | |
| parent | 548c8502b9dad2350fd636954512099ddc29d442 (diff) | |
| download | homebrew-f8a50a75df4c6996e2b206f864119c4f35193845.tar.bz2 | |
serialize proof-general installs
Diffstat (limited to 'Library')
| -rw-r--r-- | Library/Formula/proof-general.rb | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/Library/Formula/proof-general.rb b/Library/Formula/proof-general.rb index 86ba37e8c..331ceb745 100644 --- a/Library/Formula/proof-general.rb +++ b/Library/Formula/proof-general.rb @@ -36,6 +36,8 @@ class ProofGeneral < Formula end def install + ENV.j1 # Otherwise lisp compilation can result in 0-byte files + emacs = which_emacs args = ["PREFIX=#{prefix}", "DEST_PREFIX=#{prefix}", |