+2000-10-31 Mark Mitchell <mark@codesourcery.com>
+
+ * gcc_build (MAKE): New variable.
+ (build_gcc): Use it. Fix logging of errors.
+ (install_gcc): Likewise.
+
2000-10-29 Mark Mitchell <mark@codesourcery.com>
* gcc_build: Save the output from CVS into the logfile as well.
# 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
########################################################################
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"
}
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})
}
# Go to the object directory.
changedir ${OBJDIR}
- make install > ${LOGFILE} 2>&1 || \
+ (${MAKE} install 2>&1 | tee -a ${LOGFILE}) || \
error "Installation failed"
}
# Options to pass to configure.
CONFIGURE_OPTIONS=
+# The `make' program.
+MAKE=${MAKE:-make}
# Options to pass to make.
MAKE_OPTIONS=