diff make-dist @ 2942:9ac629dc3a4b

(wait_for_termination): Copy code from 18.59 (but sans BSD4_1 alternatives).
author Richard M. Stallman <rms@gnu.org>
date Fri, 21 May 1993 23:42:36 +0000
parents 9a270937e98c
children d3f30c15d39f
line wrap: on
line diff