songsenand
/
cgal
mirror of https://github.com/CGAL/cgal
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Better using of svn keyword: autotest_cgal should announce its version (and 

in the log file as well).
This commit is contained in:
Laurent Rineau 2010-06-18 08:38:43 +00:00
parent 1aa1d66cd9
commit 9a9493322b
1 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
Scripts/developer_scripts/autotest_cgal
View File

@ -217,7 +217,7 @@ download_latest()
abort_if_latest_already_tested() abort_if_latest_already_tested()
{ {
if [ -r "RELEASE_NR" ]; then if [ -r "RELEASE_NR" ]; then
cmp LATEST RELEASE_NR > "${ACTUAL_LOGFILE}" cmp LATEST RELEASE_NR >> "${ACTUAL_LOGFILE}"
if [ ! ${?} != 0 ]; then if [ ! ${?} != 0 ]; then
log "${ACTUAL_LOGFILE}" "This release has already been tested." log "${ACTUAL_LOGFILE}" "This release has already been tested."
rm -f "$LOCK_FILE"; rm -f "$LOCK_FILE";
@ -782,8 +782,6 @@ put_on_web()
# START OF MAIN BODY # START OF MAIN BODY
# ---------------------------------------------------- # ----------------------------------------------------
log "${ACTUAL_LOGFILE}" "${0}, version \""'$Id$'"\""
# Parse command line arguments # Parse command line arguments
for arg in "$@" for arg in "$@"
do do
@ -829,6 +827,8 @@ 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}"
# Sanity checks # Sanity checks
if [ "${REFERENCE_PLATFORMS_DIR}" = "must_be_set_in_.autocgalrc" ]; then if [ "${REFERENCE_PLATFORMS_DIR}" = "must_be_set_in_.autocgalrc" ]; then
error "REFERENCE_PLATFORMS_DIR must be set in .autocaglrc" error "REFERENCE_PLATFORMS_DIR must be set in .autocaglrc"