diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2010-10-10 16:59:02 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2010-10-10 16:59:02 +0000 |
commit | b23953129bbcc69668857ca897fa66f044e906e4 (patch) | |
tree | c64f22bc7a38927f56d0009dedc8f41fce2755db /generic/pg-autotest.el | |
parent | 6fae4cb4715b1a55f6af4a39e1eced4038eace4d (diff) |
Activate debug message printing into log file
Diffstat (limited to 'generic/pg-autotest.el')
-rw-r--r-- | generic/pg-autotest.el | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/generic/pg-autotest.el b/generic/pg-autotest.el index 61c1c889..fe0c2074 100644 --- a/generic/pg-autotest.el +++ b/generic/pg-autotest.el @@ -34,11 +34,14 @@ "Value for 'standard-output' during tests.") (setq debug-on-error t) ;; enable in case a test goes wrong +(setq proof-general-debug t) ;; debug messages from PG (defadvice proof-debug (before proof-debug-to-log (msg &rest args)) "Output the debug message to the test log." (apply 'pg-autotest-message msg args)) +(ad-activate 'proof-debug) + ;;; Some utilities (defun pg-autotest-find-file (file) @@ -103,7 +106,7 @@ (proof-with-current-buffer-if-exists pg-autotest-log (insert fmsg "\n")) - (message fmsg) + (message "%s" fmsg) (redisplay t))) (defun pg-autotest-remark (msg) |