2003-03-03 H.J. Lu <hjl@gnu.org>

	* gcc_build: Use $GCC_CVS/$CVS instead of cvs.
	* gcc_update: Likewise.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@63730 138bc75d-0d04-0410-961f-82ee72b054a4

diff --git a/contrib/ChangeLog b/contrib/ChangeLog
index 229ec5e..3055b4c 100644 (file)
--- 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 4d0eea3..fa0afc8 100755 (executable)
--- 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 cf1cac1..a11660e 100755 (executable)
--- 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