From 70183fa234acec75f024c4821942771f1a1a3b6c Mon Sep 17 00:00:00 2001 From: Hendrik Tews Date: Wed, 14 Nov 2012 11:38:50 +0000 Subject: all-cpus option for coq-max-background-compilation-jobs --- coq/coq-par-compile.el | 6 ++---- 1 file changed, 2 insertions(+), 4 deletions(-) (limited to 'coq/coq-par-compile.el') 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))) -- cgit v1.2.3