diff make-dist @ 1749:dbb15c2c5823

timer.c (notify): Flush stdout after writing message to avoid lossage on terminals.
author Michael I. Bushnell <mib@gnu.org>
date Fri, 08 Jan 1993 20:36:14 +0000
parents 4be274918c90
children 1be021d4d816
line wrap: on
line diff