diff make-dist @ 3105:852789920c11

(wait_for_termination): Don't use the BSD alternative for LINUX.
author Richard M. Stallman <rms@gnu.org>
date Tue, 25 May 1993 23:22:08 +0000
parents 9f168990e613
children 7ecd0f1c7465
line wrap: on
line diff