diff --git a/Scripts/developer_scripts/autotest_cgal_with_cmake b/Scripts/developer_scripts/autotest_cgal_with_cmake
index fd448f80bac..446aefaed86 100755
--- a/Scripts/developer_scripts/autotest_cgal_with_cmake
+++ b/Scripts/developer_scripts/autotest_cgal_with_cmake
@@ -380,6 +380,10 @@ setup_dirs()
 
   CGAL_BINARY_DIR_BASE=${CGAL_DIR}/cmake/platforms
 
+  if [ ! d "${CGAL_BINARY_DIR_BASE}" ]; then
+    mkdir "${CGAL_BINARY_DIR_BASE}"
+  fi
+  
   CGAL_RELEASE_DIR=`readlink "${CGAL_DIR}"`
   
   CGAL_RELEASE_ID=`basename "${CGAL_RELEASE_DIR}"`