diff options
author | Hendrik Tews <hendrik@askra.de> | 2012-11-14 11:38:50 +0000 |
---|---|---|
committer | Hendrik Tews <hendrik@askra.de> | 2012-11-14 11:38:50 +0000 |
commit | 70183fa234acec75f024c4821942771f1a1a3b6c (patch) | |
tree | 3aea55aedaaf3e490970fbfd638448155b246f66 /coq/coq-par-compile.el | |
parent | 6ad6776fe57c191a9ed48f0a3d6cd6d21e74e11a (diff) |
all-cpus option for coq-max-background-compilation-jobs
Diffstat (limited to 'coq/coq-par-compile.el')
-rw-r--r-- | coq/coq-par-compile.el | 6 |
1 files changed, 2 insertions, 4 deletions
diff --git a/coq/coq-par-compile.el b/coq/coq-par-compile.el index a04892b7..7bf83a4d 100644 --- a/coq/coq-par-compile.el +++ b/coq/coq-par-compile.el @@ -20,7 +20,6 @@ ;; - check what happens if coq-par-coq-arguments gets a bad load path ;; - on error, try to location info into the error message ;; - handle missing coqdep/coqc gracefully -;; - 'all-cores option for coq-max-background-compilation-jobs ;; (eval-when-compile @@ -851,8 +850,7 @@ coqdep or coqc are started for it." "Start background jobs until the limit is reached." (let ((next-job t)) (while (and next-job - (< coq-current-background-jobs - coq-max-background-compilation-jobs)) + (< coq-current-background-jobs coq-internal-max-jobs)) (setq next-job (coq-par-dequeue)) (when next-job (coq-par-start-task next-job))))) @@ -862,7 +860,7 @@ coqdep or coqc are started for it." NEW-JOB goes already into the waiting queue, if the number of background jobs is one below the limit. This is in order to leave room for Proof General." - (if (< (1+ coq-current-background-jobs) coq-max-background-compilation-jobs) + (if (< (1+ coq-current-background-jobs) coq-internal-max-jobs) (coq-par-start-task new-job) (coq-par-enqueue new-job))) |