From 1cf931a3d19ddac43d1d6f37ec1c03a398f1bf2c Mon Sep 17 00:00:00 2001
From: Sylvain Pion <Sylvain.Pion@sophia.inria.fr>
Date: Sat, 6 Jan 2007 23:12:28 +0000
Subject: [PATCH] Fix last change for the case where TEST_DIR_ROOT is defined
 (e.g. to /tmp).

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

diff --git a/Scripts/developer_scripts/autotest_cgal b/Scripts/developer_scripts/autotest_cgal
index e091a413d44..898683124ac 100755
--- a/Scripts/developer_scripts/autotest_cgal
+++ b/Scripts/developer_scripts/autotest_cgal
@@ -232,8 +232,8 @@ test_script()
         else
 	  MAKE_OPTS="-j ${NUMBER_OF_PROCESSORS}"
         fi
-        
-       cat  > ${TEST_DIR_ROOT}/localtestscript.${1} <<EOF
+
+        cat > ${CGAL_TEST_DIR}/localtestscript.${1} <<EOF
 CGAL_MAKEFILE=${CGAL_MAKE_DIR}/makefile_${2};
 CGAL_TESTER=${CGAL_TESTER};
 CGAL_TESTER_NAME='${CGAL_TESTER_NAME}';
@@ -252,8 +252,8 @@ echo 'REMOVING LOCAL_TEST_DIR';
 cd ..;
 rm -rf ${LOCAL_TEST_DIR}
 EOF
-        chmod ugo+x ${TEST_DIR_ROOT}/localtestscript.${1}
-        remote_command ${1}  "${TEST_DIR_ROOT}/localtestscript.${1}" >> ${ACTUAL_LOGFILE}.${1} 2>&1
+        chmod ugo+x ${CGAL_TEST_DIR}/localtestscript.${1}
+        remote_command ${1} "${CGAL_TEST_DIR}/localtestscript.${1}" >> ${ACTUAL_LOGFILE}.${1} 2>&1
 	log_done ${ACTUAL_LOGFILE}.${1}
     #PLATFORM=`basename $CGAL_MAKEFILE | sed -e "s/makefile_//g"`
 	#