diff options
| -rw-r--r-- | contrib/ChangeLog | 5 | ||||
| -rwxr-xr-x | contrib/gcc_build | 4 | ||||
| -rwxr-xr-x | contrib/gcc_update | 4 |
3 files changed, 11 insertions, 2 deletions
diff --git a/contrib/ChangeLog b/contrib/ChangeLog index 229ec5e47da..3055b4cb024 100644 --- a/contrib/ChangeLog +++ b/contrib/ChangeLog @@ -1,3 +1,8 @@ +2003-03-03 H.J. Lu <hjl@gnu.org> + + * gcc_build: Use $GCC_CVS/$CVS instead of cvs. + * gcc_update: Likewise. + 2003-01-19 Alexandre Oliva <aoliva@redhat.com> * test_summary (configflags): Only use the first match. Remove diff --git a/contrib/gcc_build b/contrib/gcc_build index 4d0eea30b6b..fa0afc8f7bc 100755 --- a/contrib/gcc_build +++ b/contrib/gcc_build @@ -110,7 +110,7 @@ checkout_gcc() { changedir ${DESTINATION_PARENT} # Checkout the tree - cvs -z 9 co -d `basename ${DESTINATION}` gcc || \ + $GCC_CVS -z 9 co -d `basename ${DESTINATION}` gcc || \ error "Could not check out GCC" } @@ -209,6 +209,8 @@ install_gcc() { # Initialization ######################################################################## +# CVS command +GCC_CVS=${GCC_CVS-${CVS-cvs}} # The CVS server containing the GCC repository. CVS_SERVER="gcc.gnu.org" # The path to the repository on that server. diff --git a/contrib/gcc_update b/contrib/gcc_update index cf1cac1b247..a11660e831e 100755 --- a/contrib/gcc_update +++ b/contrib/gcc_update @@ -37,6 +37,8 @@ # its license can be downloaded from http://www.gnu.org/copyleft/gpl.html +# CVS command +GCC_CVS=${GCC_CVS-${CVS-cvs}} # Default options used when updating via CVS. UPDATE_OPTIONS=-Pd # Use -P to prune empty directories. @@ -221,7 +223,7 @@ else fi echo "Updating CVS tree" -cvs -q update ${1+"$@"} +$GCC_CVS -q update ${1+"$@"} if [ $? -ne 0 ]; then (touch_files_reexec) echo "CVS update of full tree failed." >&2 |