* gcc_release: Don't require a username if running locally.
authorjsm28 <jsm28@138bc75d-0d04-0410-961f-82ee72b054a4>
Tue, 6 Nov 2001 16:45:37 +0000 (16:45 +0000)
committerjsm28 <jsm28@138bc75d-0d04-0410-961f-82ee72b054a4>
Tue, 6 Nov 2001 16:45:37 +0000 (16:45 +0000)
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@46809 138bc75d-0d04-0410-961f-82ee72b054a4

maintainer-scripts/ChangeLog
maintainer-scripts/gcc_release

index 0faa5ab..878983a 100644 (file)
@@ -1,3 +1,7 @@
+2001-11-06  Joseph S. Myers  <jsm28@cam.ac.uk>
+
+       * gcc_release: Don't require a username if running locally.
+
 2001-11-05  Joseph S. Myers  <jsm28@cam.ac.uk>
 
        * update_web_docs: Eliminate warnings about keeping files from web
index 260266b..dc8c5fd 100755 (executable)
@@ -470,7 +470,7 @@ done
 shift `expr ${OPTIND} - 1`
 
 # Perform consistency checking.
-if [ -z ${CVS_USERNAME} ]; then
+if [ ${LOCAL} -eq 0 ] && [ -z ${CVS_USERNAME} ]; then
   error "No username specified"
 fi