diff config.sub @ 42939:0786ea38f9fd

(compilation-handle-exit): Add a compilation-handle-exit property to the "finished" message. (compilation-parse-errors): Stop parsing when that property is seen.
author Richard M. Stallman <rms@gnu.org>
date Fri, 25 Jan 2002 02:36:36 +0000
parents 65667218173f
children 70f18b582c77
line wrap: on
line diff