diff make-dist @ 17054:84414e5f194d

(grep-process-setup): New function, sets up the exit message function in a way that works when async processes aren't supported. (grep): Use `grep-process-setup'.
author Eli Zaretskii <eliz@gnu.org>
date Thu, 20 Feb 1997 16:11:48 +0000
parents 9694822642a7
children b29d903ca993
line wrap: on
line diff