diff options
| author | H.J. Lu <hjl@gnu.org> | 2003-03-03 20:09:38 +0000 |
|---|---|---|
| committer | H.J. Lu <hjl@gcc.gnu.org> | 2003-03-03 12:09:38 -0800 |
| commit | b47d9efdc96bcd3f6f5b62e472d9e7c829c06ec7 (patch) | |
| tree | 90d26ea1ef2f6a8201268107bd84598bc7335675 /contrib/gcc_build | |
| parent | 10f4f6354022760060f5256e175500dc12392c09 (diff) | |
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
Diffstat (limited to 'contrib/gcc_build')
| -rwxr-xr-x | contrib/gcc_build | 4 |
1 files changed, 3 insertions, 1 deletions
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. |