diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2011-01-25 09:35:38 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2011-01-25 09:35:38 +0000 |
commit | 68068724fca9128a1a2dd55426347e17ca17a576 (patch) | |
tree | 82a67712dc116c6a2716c2db89a5552b36a2305c /generic/pg-autotest.el | |
parent | 56f51a5e66c5b4f35837b7592b832f23b05c97e8 (diff) |
Dump *Messages* and *PG Debug* into log file, they have useful info.
Diffstat (limited to 'generic/pg-autotest.el')
-rw-r--r-- | generic/pg-autotest.el | 11 |
1 files changed, 10 insertions, 1 deletions
diff --git a/generic/pg-autotest.el b/generic/pg-autotest.el index a87a3fe9..22dead4e 100644 --- a/generic/pg-autotest.el +++ b/generic/pg-autotest.el @@ -1,6 +1,6 @@ ;;; pg-autotest.el --- Simple testing framework for Proof General ;; -;; Copyright (C) 2005, 2009-10 LFCS Edinburgh, David Aspinall. +;; Copyright (C) 2005, 2009-11 LFCS Edinburgh, David Aspinall. ;; Authors: David Aspinall ;; ;; License: GPL (GNU GENERAL PUBLIC LICENSE) @@ -137,6 +137,15 @@ (format-time-string "%D %H:%M"))) (proof-with-current-buffer-if-exists pg-autotest-log + (goto-char (point-max)) + (insert "\n\nContents of *Messages*:\n\n") + (with-current-buffer (get-buffer "*Messages*") + (append-to-buffer pg-autotest-log (point-min) (point-max))) + (goto-char (point-max)) + (when (get-buffer "*PG Debug*") + (insert "\n\nContents of *PG Debug*:\n\n") + (proof-with-current-buffer-if-exists (get-buffer "*PG Debug*")) + (append-to-buffer pg-autotest-log (point-min) (point-max))) (save-buffer 0)) (kill-emacs (if pg-autotest-success 0 1))) |