diff options
| -rw-r--r-- | maintainer-scripts/ChangeLog | 4 | ||||
| -rwxr-xr-x | maintainer-scripts/gcc_release | 2 |
2 files changed, 5 insertions, 1 deletions
diff --git a/maintainer-scripts/ChangeLog b/maintainer-scripts/ChangeLog index 0faa5ab..878983a 100644 --- a/maintainer-scripts/ChangeLog +++ b/maintainer-scripts/ChangeLog @@ -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 diff --git a/maintainer-scripts/gcc_release b/maintainer-scripts/gcc_release index 260266b..dc8c5fd 100755 --- a/maintainer-scripts/gcc_release +++ b/maintainer-scripts/gcc_release @@ -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 |