From b23953129bbcc69668857ca897fa66f044e906e4 Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Sun, 10 Oct 2010 16:59:02 +0000 Subject: Activate debug message printing into log file --- generic/pg-autotest.el | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) (limited to 'generic/pg-autotest.el') 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) -- cgit v1.2.3