- fix asserting when parallel background compilation is in progress

- fix aborting background compilation on error

1 files changed, 4 insertions, 0 deletions

diff --git a/coq/coq-compile-common.el b/coq/coq-compile-common.el
index e24cc5b2..a66f68c8 100644
--- a/coq/coq-compile-common.el
+++ b/coq/coq-compile-common.el
@@ -63,6 +63,8 @@ Must be used together with `coq-seq-disable'."
   (add-hook 'proof-shell-extend-queue-hook
 	    'coq-par-preprocess-require-commands)
   (add-hook 'proof-shell-signal-interrupt-hook
+	    'coq-par-emergency-cleanup)
+  (add-hook 'proof-shell-handle-error-or-interrupt-hook
 	    'coq-par-emergency-cleanup))
 
 (defun coq-par-disable ()
@@ -71,6 +73,8 @@ Must be used together with `coq-seq-enable'."
   (remove-hook 'proof-shell-extend-queue-hook
 	       'coq-par-preprocess-require-commands)
   (remove-hook 'proof-shell-signal-interrupt-hook
+	       'coq-par-emergency-cleanup)
+  (remove-hook 'proof-shell-handle-error-or-interrupt-hook
 	       'coq-par-emergency-cleanup))
 
 (defun coq-seq-enable ()