From 034ced5cc391818d1660b11937bc38a54e58972d Mon Sep 17 00:00:00 2001
From: Laurent Rineau <Laurent.Rineau__CGAL@normalesup.org>
Date: Thu, 17 Jun 2010 09:39:06 +0000
Subject: [PATCH] Incorrect use of the function log().

---
 Scripts/developer_scripts/autotest_cgal | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/Scripts/developer_scripts/autotest_cgal b/Scripts/developer_scripts/autotest_cgal
index b20085477a4..c81ddfa9d8d 100755
--- a/Scripts/developer_scripts/autotest_cgal
+++ b/Scripts/developer_scripts/autotest_cgal
@@ -867,14 +867,14 @@ lockfile -r 1 "$LOCK_FILE";
 if [ ${?} != 0 ]; then
   PID=`cat "$LOCK_FILE"`
   if kill -0 "$PID"; then 
-    log "COULD NOT AQUIRE LOCK! LOCKING PROCESS PID=$PID";
+    log "${ACTUAL_LOGFILE}" "COULD NOT AQUIRE LOCK! LOCKING PROCESS PID=$PID";
     exit 1;
   else
     # The locking process has died without erasing the lock file
     rm -f "$LOCK_FILE"
     lockfile -r 1 "$LOCK_FILE";
     if [ ${?} != 0 ]; then
-      log "COULD NOT AQUIRE LOCK!";
+      log "${ACTUAL_LOGFILE}" "COULD NOT AQUIRE LOCK!";
       exit 1
     fi
   fi