diff options
author | mmitchel <mmitchel@138bc75d-0d04-0410-961f-82ee72b054a4> | 2000-11-01 01:58:12 +0000 |
---|---|---|
committer | mmitchel <mmitchel@138bc75d-0d04-0410-961f-82ee72b054a4> | 2000-11-01 01:58:12 +0000 |
commit | c0921e860cbea2ca7a38116365f9766c55abd710 (patch) | |
tree | d565a777f1aca81ff4689ff53affb009610b53b9 /contrib/gcc_build | |
parent | 536bd96b4b2e5cc1ba8ffd259789091f2e8bb0da (diff) |
* gcc_build (MAKE): New variable.
(build_gcc): Use it. Fix logging of errors.
(install_gcc): Likewise.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@37180 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'contrib/gcc_build')
-rwxr-xr-x | contrib/gcc_build | 16 |
1 files changed, 12 insertions, 4 deletions
diff --git a/contrib/gcc_build b/contrib/gcc_build index 0a3dd7bfd5e..ddcbb2f2efa 100755 --- a/contrib/gcc_build +++ b/contrib/gcc_build @@ -37,6 +37,12 @@ # If you are using password-based CVS, you must manually log in, and # not log out from, the CVS server before running this script. +# You can set the following variables in the environment. They +# have no corresponding command-line options because they should +# only be needed infrequently: +# +# MAKE The path to `make'. + ######################################################################## # Functions ######################################################################## @@ -142,8 +148,8 @@ build_gcc() { error "Could not configure GCC" # Bootstrap the compiler - (eval make ${MAKE_OPTIONS} bootstrap | - tee -a ${LOGFILE}) 2>&1 || \ + (eval ${MAKE} ${MAKE_OPTIONS} bootstrap 2>&1 | + tee -a ${LOGFILE}) || \ error "Could not build GCC" } @@ -156,7 +162,7 @@ test_gcc() { changedir ${OBJDIR} echo "Running tests... This will take a while." - (make -k check | tee -a ${LOGFILE}) 2>&1 + (${MAKE} -k check 2>&1 | tee -a ${LOGFILE}) (${DESTINATION}/contrib/test_summary | tee -a ${LOGFILE}) } @@ -184,7 +190,7 @@ install_gcc() { # Go to the object directory. changedir ${OBJDIR} - make install > ${LOGFILE} 2>&1 || \ + (${MAKE} install 2>&1 | tee -a ${LOGFILE}) || \ error "Installation failed" } @@ -214,6 +220,8 @@ TARFILE="${HOME}/dev/gcc.tgz" # Options to pass to configure. CONFIGURE_OPTIONS= +# The `make' program. +MAKE=${MAKE:-make} # Options to pass to make. MAKE_OPTIONS= |