diff options
| author | Pierre Courtieu | 2015-11-02 14:54:56 +0100 |
|---|---|---|
| committer | Pierre Courtieu | 2015-11-02 14:56:15 +0100 |
| commit | 8260bc52e829f21a664c13c4b1c5b70a8b0ee048 (patch) | |
| tree | cf5d7a1b300aa7045448ec09b08996a52d8f6834 /coq/coq-seq-compile.el | |
| parent | e557f0dc6bd679b012758294206866ae57e3f76c (diff) | |
coq-pre-v85 option to fix coqdep invocation in [compile before require].
Command line options changed heavily betwenn 8.4 and 8.5. We need an
option to force V8.4 in some cases, mainly to infer the right
coqtop/coqdep invocations.
Diffstat (limited to 'coq/coq-seq-compile.el')
| -rw-r--r-- | coq/coq-seq-compile.el | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/coq/coq-seq-compile.el b/coq/coq-seq-compile.el index e7579f81..e70d8431 100644 --- a/coq/coq-seq-compile.el +++ b/coq/coq-seq-compile.el @@ -77,7 +77,7 @@ break." (list lib-src-file))) coqdep-status coqdep-output) (if coq-debug-auto-compilation - (message "call coqdep arg list: %s" coqdep-arguments)) + (message "call coqdep arg list: %S" coqdep-arguments)) (with-temp-buffer (setq coqdep-status (apply 'call-process |