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.

1 files changed, 4 insertions, 2 deletions

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'.