From 28a0ffbcb1c6a442a4f5d4a3825ea303dca8b854 Mon Sep 17 00:00:00 2001 From: Hendrik Tews Date: Thu, 3 Jan 2013 09:33:38 +0000 Subject: - fix asserting when parallel background compilation is in progress - fix aborting background compilation on error --- coq/coq-par-compile.el | 4 ++++ 1 file changed, 4 insertions(+) (limited to 'coq/coq-par-compile.el') diff --git a/coq/coq-par-compile.el b/coq/coq-par-compile.el index c7d52761..8e8c7772 100644 --- a/coq/coq-par-compile.el +++ b/coq/coq-par-compile.el @@ -1166,6 +1166,9 @@ Finally, `proof-second-action-list-active' is set if I keep some queue items because they have to wait for a compilation job. Then the maximal number of background compilation jobs is started." (when coq-compile-before-require + (when coq-debug-auto-compilation + (message "%d items were added to the queue, scan for require" + (length queueitems))) (unless coq-last-compilation-job (coq-par-init-compilation-hash) (coq-par-init-ancestor-hash)) @@ -1177,6 +1180,7 @@ the maximal number of background compilation jobs is started." (put coq-last-compilation-job 'queueitems (nconc (get coq-last-compilation-job 'queueitems) (car splitted-items))) + (setq queueitems nil) (message "attach first %s items to job %s" (length (car splitted-items)) (get coq-last-compilation-job 'name))) -- cgit v1.2.3