diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2011-01-26 17:44:45 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2011-01-26 17:44:45 +0000 |
| commit | aa10666ee062b25ab1ece29f4b527e944a4e8ee6 (patch) | |
| tree | 15d7112e57ab2a700460dcf5f26d2955c8fd224f /coq/coq-autotest.el | |
| parent | acff75262d99f292c3a198c694812906557ef9ec (diff) | |
Add autotest-start with debug for now
Diffstat (limited to 'coq/coq-autotest.el')
| -rw-r--r-- | coq/coq-autotest.el | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/coq/coq-autotest.el b/coq/coq-autotest.el index d1c32cb6..9d12fa1b 100644 --- a/coq/coq-autotest.el +++ b/coq/coq-autotest.el @@ -14,8 +14,12 @@ (require 'pg-autotest) +(setq pg-autotest-debug t) + (unless noninteractive - + + (pg-autotest start 'debug) + ;; new multiple file handling for Coq gives interactive queries ;; continually unless we set this (setq proof-auto-action-when-deactivating-scripting 'retract) |