diff make-dist @ 17866:7d458582345c

(compilation-parse-errors): Fix paren error. (compilation-arguments): New local variable. (compile-internal): Set the variable compilation-arguments. (compilation-revert-buffer): New function. (compilation-mode): Set revert-buffer-function.
author Richard M. Stallman <rms@gnu.org>
date Mon, 19 May 1997 01:04:04 +0000
parents b8a3deb464b9
children 0696d4c9aa15
line wrap: on
line diff