diff options
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. |