diff options
| -rw-r--r-- | contrib/ChangeLog | 4 | ||||
| -rwxr-xr-x | contrib/gcc_update | 11 |
2 files changed, 11 insertions, 4 deletions
diff --git a/contrib/ChangeLog b/contrib/ChangeLog index f906133..b54af84 100644 --- a/contrib/ChangeLog +++ b/contrib/ChangeLog @@ -1,3 +1,7 @@ +2001-05-23 Gerald Pfeifer <pfeifer@dbai.tuwien.ac.at> + + * gcc_update (UPDATE_OPTIONS): Add -d to the default settings. + 2001-05-21 Mark Mitchell <mark@codesourcery.com> * gcc_build: Use -d when invoking gcc_update. diff --git a/contrib/gcc_update b/contrib/gcc_update index 1cc4273..3f6efab 100755 --- a/contrib/gcc_update +++ b/contrib/gcc_update @@ -38,10 +38,13 @@ # Default options used when updating via CVS. -UPDATE_OPTIONS=-P -# Add -d to create any directories that exist in the repository but not -# locally. -# Add -A to reset any sticky tags, dates, or `-k' options. +UPDATE_OPTIONS=-Pd +# Use -P to prune empty directories. +# Use -d to create any directories that exist in the repository but not +# locally. +# Use -A to reset any sticky tags, dates, or `-k' options. + +######## Anything below shouldn't be changed by regular users. # Arrange for the value of $0 to be available for functions self=$0 |