From: Richard Stallman <rms@gnu.org>
Date: Thu, 11 Mar 1993 04:53:06 +0000 (+0000)
Subject: Delete ${LIB}/DONE just before exit.
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=db27aeecc2d19d28f0349191b0cc3c98e1642129;p=gcc.git

Delete ${LIB}/DONE just before exit.

From-SVN: r3699
---

diff --git a/gcc/fixincludes b/gcc/fixincludes
index 267142a11a4..cd675a3c110 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