diff options
| author | Hendrik Tews | 2013-01-03 09:33:38 +0000 |
|---|---|---|
| committer | Hendrik Tews | 2013-01-03 09:33:38 +0000 |
| commit | 28a0ffbcb1c6a442a4f5d4a3825ea303dca8b854 (patch) | |
| tree | 745cd4df971687f6a8843c9658f4d00f65ab8de1 /generic | |
| parent | b35facae2146b09570c0636ed92e82af641db6b6 (diff) | |
- fix asserting when parallel background compilation is in progress
- fix aborting background compilation on error
Diffstat (limited to 'generic')
| -rw-r--r-- | generic/proof-shell.el | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/generic/proof-shell.el b/generic/proof-shell.el index 3c73c53d..6bfbef51 100644 --- a/generic/proof-shell.el +++ b/generic/proof-shell.el @@ -681,6 +681,9 @@ unless the FLAGS for the command are non-nil (see `proof-action-list')." (save-excursion (proof-script-clear-queue-spans-on-error badspan (eq err-or-int 'interrupt)))) + ;; Note: coq-par-emergency-cleanup, which might be called via + ;; proof-shell-handle-error-or-interrupt-hook below, assumes that + ;; proof-action-list is empty on error. (setq proof-action-list nil) (proof-release-lock) (unless flags |