diff --git a/contrib/ChangeLog b/contrib/ChangeLog index 229ec5e47daf120b1b32effdf8a8576a18f972d6..3055b4cb024612c257a4765676d0085cbbce7944 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 4d0eea30b6b1a5f0d17df09330760404098781d1..fa0afc8f7bccf1bb2541a0676857814c198dcbf9 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 cf1cac1b2474c13ef3d429e91481ac3c8f0f256c..a11660e831ec20a236d642feae6f8a3d9244ca8d 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