diff update-subdirs @ 72025:7b30bf7651d1

(compilation-error-regexp-alist-alist) <gnu>: Try to rule out false positives due to time stamps. (compilation-mode-font-lock-keywords): Remove rules made redundant because of the above change. Add `segmentation fault' to the known and highlighted compilation termination messages.
author Stefan Monnier <monnier@iro.umontreal.ca>
date Wed, 19 Jul 2006 19:20:11 +0000
parents b99080e25b28
children 7c327a7ce0e2 72dea2ff0142
line wrap: on
line diff