diff make-dist @ 18708:965c5ee65d86

(read_process_output): Add cast.
author Richard M. Stallman <rms@gnu.org>
date Thu, 10 Jul 1997 03:09:10 +0000
parents 7113c3fe2d3a
children 4a53a2477850
line wrap: on
line diff