diff options
| author | Stefan Monnier | 2004-10-21 22:26:06 +0000 |
|---|---|---|
| committer | Stefan Monnier | 2004-10-21 22:26:06 +0000 |
| commit | 13376c78309524643382d9d3697a086fc495e861 (patch) | |
| tree | 692446a44761968929e1abf2bea5fc5a676cbe87 | |
| parent | bdfe3dc05ca336b56cd7a9266f49bd8c162717a4 (diff) | |
| download | emacs-13376c78309524643382d9d3697a086fc495e861.tar.gz emacs-13376c78309524643382d9d3697a086fc495e861.zip | |
(tex-compilation-parse-errors): Don't output messages.
| -rw-r--r-- | lisp/textmodes/tex-mode.el | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/lisp/textmodes/tex-mode.el b/lisp/textmodes/tex-mode.el index ddcaaa0bf4f..5c5e0a4d1c7 100644 --- a/lisp/textmodes/tex-mode.el +++ b/lisp/textmodes/tex-mode.el | |||
| @@ -1946,7 +1946,6 @@ since TeX does not put file names and line numbers on the same line as | |||
| 1946 | for the error messages." | 1946 | for the error messages." |
| 1947 | (require 'thingatpt) | 1947 | (require 'thingatpt) |
| 1948 | (setq compilation-error-list nil) | 1948 | (setq compilation-error-list nil) |
| 1949 | (message "Parsing error messages...") | ||
| 1950 | (let ((default-directory ; Perhaps dir has changed meanwhile. | 1949 | (let ((default-directory ; Perhaps dir has changed meanwhile. |
| 1951 | (file-name-directory (buffer-file-name tex-last-buffer-texed))) | 1950 | (file-name-directory (buffer-file-name tex-last-buffer-texed))) |
| 1952 | found-desired (num-errors-found 0) | 1951 | found-desired (num-errors-found 0) |
| @@ -2012,8 +2011,7 @@ for the error messages." | |||
| 2012 | compilation-error-list)) | 2011 | compilation-error-list)) |
| 2013 | (goto-char end-of-error))))) | 2012 | (goto-char end-of-error))))) |
| 2014 | (set-marker compilation-parsing-end (point)) | 2013 | (set-marker compilation-parsing-end (point)) |
| 2015 | (setq compilation-error-list (nreverse compilation-error-list)) | 2014 | (setq compilation-error-list (nreverse compilation-error-list))) |
| 2016 | (message "Parsing error messages...done")) | ||
| 2017 | 2015 | ||
| 2018 | ;;; The commands: | 2016 | ;;; The commands: |
| 2019 | 2017 | ||