From a12ef8ed3c14eb99ea1c6d19bf9000b3f263277e Mon Sep 17 00:00:00 2001
From: Laurent Rineau <Laurent.Rineau__CGAL@normalesup.org>
Date: Wed, 23 Jun 2010 08:52:41 +0000
Subject: [PATCH] Is that a typo?! The file should be writable, and not
 executable!

---
 Scripts/developer_scripts/autotest_cgal | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Scripts/developer_scripts/autotest_cgal b/Scripts/developer_scripts/autotest_cgal
index eee4b1dcbe3..ebede9a23f7 100755
--- a/Scripts/developer_scripts/autotest_cgal
+++ b/Scripts/developer_scripts/autotest_cgal
@@ -881,7 +881,7 @@ if [ ${?} != 0 ]; then
   fi
 fi
 # Make that file writable (lockfile create read-only files
-chmod u+x "$LOCK_FILE"
+chmod u+w "$LOCK_FILE"
 # Put the PID of current process in the lock file
 echo $$ > "$LOCK_FILE"