diff options
author | Hendrik Tews <hendrik@askra.de> | 2013-01-03 09:33:38 +0000 |
---|---|---|
committer | Hendrik Tews <hendrik@askra.de> | 2013-01-03 09:33:38 +0000 |
commit | 28a0ffbcb1c6a442a4f5d4a3825ea303dca8b854 (patch) | |
tree | 745cd4df971687f6a8843c9658f4d00f65ab8de1 /coq/coq-par-compile.el | |
parent | b35facae2146b09570c0636ed92e82af641db6b6 (diff) |
- fix asserting when parallel background compilation is in progress
- fix aborting background compilation on error
Diffstat (limited to 'coq/coq-par-compile.el')
-rw-r--r-- | coq/coq-par-compile.el | 4 |
1 files changed, 4 insertions, 0 deletions
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))) |