From b47d9efdc96bcd3f6f5b62e472d9e7c829c06ec7 Mon Sep 17 00:00:00 2001
From: "H.J. Lu" <hjl@gnu.org>
Date: Mon, 3 Mar 2003 20:09:38 +0000
Subject: gcc_build: Use $GCC_CVS/$CVS instead of cvs.

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

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

From-SVN: r63730
---
 contrib/gcc_build | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

(limited to 'contrib/gcc_build')

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.
-- 
cgit v1.2.3