From f454eba61afe8c34e9f5ad3ac7181fe1384bc8fe Mon Sep 17 00:00:00 2001
From: Laurent Rineau <Laurent.Rineau__CGAL@normalesup.org>
Date: Wed, 7 Jul 2010 16:00:13 +0000
Subject: [PATCH] Unless the -k option is used, the src/ directory is erased
 after the compilation: it contains the build tree of CGAL libraries (that
 have been copied in lib/). That saves a lot of space.

---
 Scripts/developer_scripts/autotest_cgal | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/Scripts/developer_scripts/autotest_cgal b/Scripts/developer_scripts/autotest_cgal
index afa03fde6c2..3722f8f1008 100755
--- a/Scripts/developer_scripts/autotest_cgal
+++ b/Scripts/developer_scripts/autotest_cgal
@@ -528,6 +528,12 @@ cmake '${CMAKE_GENERATOR}' -DRUNNING_CGAL_AUTO_TEST=TRUE \\
 ${MAKE_CMD} VERBOSE=ON -k -fMakefile  ;
 cd ..;
 EOF
+        if [ -z "${KEEP_TESTS}" ]; then
+          cat >> "${CGAL_BINARY_DIR}/localbuildscript" <<EOF
+echo 'REMOVING COMPILATION TREE';
+rm -rf '${CGAL_BINARY_DIR}/src'
+EOF
+        fi
         chmod ugo+x "${CGAL_BINARY_DIR}/localbuildscript"
         if [ -n "${SHOW_PROGRESS}" ]; then
           remote_command ${HOST} "${CGAL_BINARY_DIR}/localbuildscript" | tee "${ACTUAL_LOGFILE}.build.${PLATFORM}" 2>&1