diff options
author | gerald <gerald@138bc75d-0d04-0410-961f-82ee72b054a4> | 2001-05-23 12:15:03 +0000 |
---|---|---|
committer | gerald <gerald@138bc75d-0d04-0410-961f-82ee72b054a4> | 2001-05-23 12:15:03 +0000 |
commit | 683512c4496463df02ccfed25d9e0a3441cf2ebc (patch) | |
tree | a9af11101f2e0a8689e502a504daea80fc926e34 /contrib/gcc_update | |
parent | ab2237b524937a8cd4a31ce4f746c3260c6152ba (diff) | |
download | gcc-683512c4496463df02ccfed25d9e0a3441cf2ebc.tar.gz |
* gcc_update (UPDATE_OPTIONS): Add -d to the default settings.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@42493 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'contrib/gcc_update')
-rwxr-xr-x | contrib/gcc_update | 11 |
1 files changed, 7 insertions, 4 deletions
diff --git a/contrib/gcc_update b/contrib/gcc_update index 1cc42732883..3f6efab5029 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 |