Cosmetic change: do not display the Date, and remove "revision", which is

already in the keyword substitution of $Revision$.
This commit is contained in:
Laurent Rineau 2010-06-18 08:50:09 +00:00
parent 9a9493322b
commit cb510c9856
1 changed files with 1 additions and 1 deletions

View File

@ -827,7 +827,7 @@ fi
ACTUAL_LOGFILE="${CGAL_ROOT}/`basename ${0}`.log" ACTUAL_LOGFILE="${CGAL_ROOT}/`basename ${0}`.log"
rm -f "${ACTUAL_LOGFILE}" rm -f "${ACTUAL_LOGFILE}"
echo "Running `basename ${0}`, revision "'$Revision$ ($Date$)' | tee "${ACTUAL_LOGFILE}" echo "Running `basename ${0}` "'$Revision$' >> "${ACTUAL_LOGFILE}"
# Sanity checks # Sanity checks
if [ "${REFERENCE_PLATFORMS_DIR}" = "must_be_set_in_.autocgalrc" ]; then if [ "${REFERENCE_PLATFORMS_DIR}" = "must_be_set_in_.autocgalrc" ]; then