diff options
| author | Richard Stallman <rms@gnu.org> | 1992-06-14 21:40:34 +0000 |
|---|---|---|
| committer | Richard Stallman <rms@gnu.org> | 1992-06-14 21:40:34 +0000 |
| commit | 96b5daff8d4667cf475ac0d749da20524a93a275 (patch) | |
| tree | d2800270c510a30704cfb033b57092af556c1bcc | |
| parent | b7004e5381a684554dd17c52d1b902d5df43b8a2 (diff) | |
| download | gcc-96b5daff8d4667cf475ac0d749da20524a93a275.zip gcc-96b5daff8d4667cf475ac0d749da20524a93a275.tar.gz gcc-96b5daff8d4667cf475ac0d749da20524a93a275.tar.bz2 | |
*** empty log message ***
From-SVN: r1204
| -rw-r--r-- | gcc/Makefile.in | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/gcc/Makefile.in b/gcc/Makefile.in index d478a05..4ce5c7a 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" \ |