summaryrefslogtreecommitdiff
path: root/contrib/gcc_update
diff options
context:
space:
mode:
authorgerald <gerald@138bc75d-0d04-0410-961f-82ee72b054a4>2001-05-23 12:15:03 +0000
committergerald <gerald@138bc75d-0d04-0410-961f-82ee72b054a4>2001-05-23 12:15:03 +0000
commit683512c4496463df02ccfed25d9e0a3441cf2ebc (patch)
treea9af11101f2e0a8689e502a504daea80fc926e34 /contrib/gcc_update
parentab2237b524937a8cd4a31ce4f746c3260c6152ba (diff)
downloadgcc-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-xcontrib/gcc_update11
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