From 687e008bc80ca6f66ca8920296c2e8dab889c752 Mon Sep 17 00:00:00 2001 From: Hendrik Tews Date: Thu, 8 Dec 2016 16:06:17 +0100 Subject: option coq-compile-keep-going for parallel compilation With this option set, compilation continues after the first error to compile as much as possible and to potentially report more than one error. --- generic/proof-shell.el | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) (limited to 'generic') diff --git a/generic/proof-shell.el b/generic/proof-shell.el index 6c0492aa..d9458eb8 100644 --- a/generic/proof-shell.el +++ b/generic/proof-shell.el @@ -88,9 +88,11 @@ See the functions `proof-start-queue' and `proof-shell-exec-loop'.") (defsubst proof-shell-invoke-callback (listitem) "From `proof-action-list' LISTITEM, invoke the callback on the span." - (condition-case nil + (condition-case err (funcall (nth 2 listitem) (car listitem)) - (error nil))) + (error + (message "error escaping proof-shell-invoke-callback: %s" err) + nil))) (defvar proof-second-action-list-active nil "Signals that some items are waiting outside of `proof-action-list'. -- cgit v1.2.3