diff options
Diffstat (limited to 'coq/coq-par-compile.el')
| -rw-r--r-- | coq/coq-par-compile.el | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/coq/coq-par-compile.el b/coq/coq-par-compile.el index efbb2d3c..6378f573 100644 --- a/coq/coq-par-compile.el +++ b/coq/coq-par-compile.el @@ -1967,6 +1967,9 @@ does the error checking/reporting for "Proof General; please customize coq-pinned-version")) (message "%s \"%s\"; consider customizing coq-pinned-version" (get (car err) 'error-message) (cdr err)))) + (file-error + (coq-par-emergency-cleanup) + (message "Error: %s" (mapconcat 'identity (cdr err) ": "))) (error (message "unexpected error during parallel compilation: %s" err) |