From dcdaff462253948bdb3dd30ca59a196bf307df53 Mon Sep 17 00:00:00 2001
From: Laurent Rineau <Laurent.Rineau__CGAL@normalesup.org>
Date: Mon, 7 Nov 2011 15:53:06 +0000
Subject: [PATCH] Quote a path, to avoid errors if the path contains a space

---
 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 aa1eb94a729..97488b57560 100755
--- a/Scripts/developer_scripts/autotest_cgal
+++ b/Scripts/developer_scripts/autotest_cgal
@@ -948,13 +948,13 @@ if [ -z "${DO_NOT_TEST}" ]; then
   run_test
 fi
 
-cd ${CGAL_ROOT}
+cd "${CGAL_ROOT}"
 
 if [ -e "LATEST" ]; then
   mv LATEST RELEASE_NR
 fi
 
-rm -f $LOCK_FILE;
+rm -f "$LOCK_FILE";
 
 # EOF