Delete ${LIB}/DONE just before exit.
authorRichard Stallman <rms@gnu.org>
Thu, 11 Mar 1993 04:53:06 +0000 (04:53 +0000)
committerRichard Stallman <rms@gnu.org>
Thu, 11 Mar 1993 04:53:06 +0000 (04:53 +0000)
commitdb27aeecc2d19d28f0349191b0cc3c98e1642129
tree99ce382c6876ddc43d698720fda9ff352201b8c2
parentea9f550ab543ba6dcc12548bef2e235983bbc370
Delete ${LIB}/DONE just before exit.

From-SVN: r3699
gcc/fixincludes