From: Richard Stallman <rms@gnu.org>
Date: Sun, 14 Jun 1992 21:40:34 +0000 (+0000)
Subject: *** empty log message ***
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=96b5daff8d4667cf475ac0d749da20524a93a275;p=gcc.git

*** empty log message ***

From-SVN: r1204
---

diff --git a/gcc/Makefile.in b/gcc/Makefile.in
index d478a0512ed..4ce5c7a6ecc 100644
--- a/gcc/Makefile.in
+++ b/gcc/Makefile.in
@@ -1570,7 +1570,7 @@ gcc.xtar.Z: gcc.xtar
 gcc.xtar: doc
 	if grep -s "for version ${version}" gcc.texi; \
 	then true; \
-	else echo "You must update the version number in \`gcc.texi'"; exit 1;\
+	else echo "You must update the version number in \`gcc.texi'"; sleep 10;\
 	fi
 # Update the version number in README
 	awk '$$1 " " $$2 " " $$3 == "This directory contains" \