diff options
author | Hendrik Tews <hendrik@askra.de> | 2016-12-15 09:39:00 +0100 |
---|---|---|
committer | Hendrik Tews <hendrik@askra.de> | 2016-12-15 09:39:00 +0100 |
commit | b0553954a4324efd873f7caae85f0ebc0665883c (patch) | |
tree | a9e66d5de552d516740270928930fc6aee6ccf32 /coq/coq-par-compile.el | |
parent | 93a0d1ca16fd30e89e312932008106bc5503386f (diff) |
die gracefully when visiting files in nonexisting directories
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) |