Commit e1efda629c1becc57d13dcb15d833ab172bdc89f

Paul Eggert 2003-09-12T22:36:46

Depend on 'exit'.