From b47d9efdc96bcd3f6f5b62e472d9e7c829c06ec7 Mon Sep 17 00:00:00 2001 From: "H.J. Lu" Date: Mon, 3 Mar 2003 20:09:38 +0000 Subject: [PATCH] gcc_build: Use $GCC_CVS/$CVS instead of cvs. 2003-03-03 H.J. Lu * gcc_build: Use $GCC_CVS/$CVS instead of cvs. * gcc_update: Likewise. From-SVN: r63730 --- contrib/ChangeLog | 5 +++++ contrib/gcc_build | 4 +++- 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 + + * gcc_build: Use $GCC_CVS/$CVS instead of cvs. + * gcc_update: Likewise. + 2003-01-19 Alexandre Oliva * 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