diff options
| author |  Hendrik Tews <hendrik@askra.de> | 2016-12-12 10:05:00 +0100 |
|---|---|---|
| committer | Hendrik Tews <hendrik@askra.de> | 2016-12-14 21:18:16 +0100 |
| commit | 93a0d1ca16fd30e89e312932008106bc5503386f (patch) | |
| tree | 38167b0bd4211654eb783a3771f4c7381b09ba95 /coq/coq-abbrev.el | |
| parent | 43e54c598bbe778e67fe926e770b5235c6745045 (diff) | |
fix generic interrupt procedure to interrupt parallel background compilation
Diffstat (limited to 'coq/coq-abbrev.el')
| -rw-r--r-- | coq/coq-abbrev.el | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/coq/coq-abbrev.el b/coq/coq-abbrev.el index ec8d5e80..87f61df6 100644 --- a/coq/coq-abbrev.el +++ b/coq/coq-abbrev.el @@ -203,7 +203,12 @@ It was constructed with `proof-defstringset-fn'.") :selected coq-confirm-external-compilation :active (and coq-compile-before-require (not (equal coq-compile-command ""))) - :help "Confirm external compilation command, see `coq-compile-command'."]) + :help "Confirm external compilation command, see `coq-compile-command'."] + ["Abort Background Compilation" + coq-par-emergency-cleanup + :active (and coq-compile-before-require + coq-compile-parallel-in-background) + :help "Abort background compilation and kill all compilation processes."]) "" ["Print..." coq-Print :help "With prefix arg (C-u): Set Printing All first"] ["Check..." coq-Check :help "With prefix arg (C-u): Set Printing All first"] |