diff options
| -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) |