Post process CGAL_DIR and CGAL_HOME to replace /cygdrive/LETTER by LETTER:/ in autotest_cgal_with_ctest

Scripts/developer_scripts/autotest_cgal_with_ctest

@@ -1,5 +1,3 @@
-#!/bin/bash
-
 #!/bin/bash
 #usage : script [-c -l -n -s -k] testsuite_dir
 
@@ -23,7 +21,7 @@ export TAR="tar"
 export GUNZIP="gunzip"
 export COMPRESSOR="gzip"
 export CONSOLE_OUTPUT="y"
-export CGAL_HOME=`pwd`
+export CGAL_HOME=$(pwd | sed -E 's/\/cygdrive\/([a-z])\//\U\1:\//')
 export USE_TARGZ="y"
 export USE_TARBZ="n"
 export CGAL_RELEASE=""
@@ -284,6 +282,8 @@ else
   CGAL_DIR=`readlink "${CGAL_HOME}/CGAL-I"`
 fi
 
+CGAL_DIR=$(echo "$CGAL_DIR" | sed -E 's/\/cygdrive\/([a-z])\//\U\1:\//')
+
 CGAL_RELEASE_ID=$(cat last_release_id)
 for HOST in ${BUILD_HOSTS}; do
   if [ "$HOST" != "localhost" ]; then