diff make-dist @ 20041:c743e52dd2b0

Ensure standard handles are reset even if spawnve fails.
author Andrew Innes <andrewi@gnu.org>
date Mon, 13 Oct 1997 18:11:44 +0000
parents 07e5f3623def
children 815e934f5ffc
line wrap: on
line diff