diff options
author | Richard Stallman <rms@gnu.org> | 1993-03-11 04:53:06 +0000 |
---|---|---|
committer | Richard Stallman <rms@gnu.org> | 1993-03-11 04:53:06 +0000 |
commit | db27aeecc2d19d28f0349191b0cc3c98e1642129 (patch) | |
tree | 99ce382c6876ddc43d698720fda9ff352201b8c2 /gcc/fixincludes | |
parent | ea9f550ab543ba6dcc12548bef2e235983bbc370 (diff) | |
download | gcc-db27aeecc2d19d28f0349191b0cc3c98e1642129.zip gcc-db27aeecc2d19d28f0349191b0cc3c98e1642129.tar.gz gcc-db27aeecc2d19d28f0349191b0cc3c98e1642129.tar.bz2 |
Delete ${LIB}/DONE just before exit.
From-SVN: r3699
Diffstat (limited to 'gcc/fixincludes')
-rwxr-xr-x | gcc/fixincludes | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/gcc/fixincludes b/gcc/fixincludes index 267142a..cd675a3 100755 --- a/gcc/fixincludes +++ b/gcc/fixincludes @@ -1010,4 +1010,7 @@ if $LINKS; then done fi +# Prevent premature exit when subsequently processing OTHER_FIXINCLUDES_DIRS. +rm ${LIB}/DONE + exit 0 |