diff make-dist @ 24768:0895c669be5e

(lock_if_free): After deleting a stale lock, try again to lock the file.
author Richard M. Stallman <rms@gnu.org>
date Mon, 24 May 1999 09:19:06 +0000
parents 58e77af0527b
children 3171bf7ae0ff
line wrap: on
line diff