From 61a9c7803600547876c82c765cf56b32d60f35de Mon Sep 17 00:00:00 2001
From: Maxime Gimeno <maxime.gimeno@gmail.com>
Date: Mon, 29 Apr 2019 15:38:44 +0200
Subject: [PATCH] Rename scripts

---
 Scripts/developer_scripts/autotest_cgal_with_ctest              | 2 +-
 .../{run_testsuite_with_cmake => run_testsuite_with_ctest}      | 2 +-
 ...activated_packages_info.py => post_process_ctest_results.py} | 0
 3 files changed, 2 insertions(+), 2 deletions(-)
 rename Scripts/developer_scripts/{run_testsuite_with_cmake => run_testsuite_with_ctest} (98%)
 rename Testsuite/test/{get_deactivated_packages_info.py => post_process_ctest_results.py} (100%)

diff --git a/Scripts/developer_scripts/autotest_cgal_with_ctest b/Scripts/developer_scripts/autotest_cgal_with_ctest
index f35e94c6269..84e9664889f 100755
--- a/Scripts/developer_scripts/autotest_cgal_with_ctest
+++ b/Scripts/developer_scripts/autotest_cgal_with_ctest
@@ -278,7 +278,7 @@ for HOST in ${BUILD_HOSTS}; do
       docker run --rm  -t -e HOST="${HOST}" -v ${CGAL_HOME}/ssh:/tmp_ssh -v ${DEPS_DIR}:/deps -v ${CGAL_HOME}:/cgal_root -v${CGAL_DIR}:/cgal_root/CGAL-git cgal/testsuite-docker:debian-stable-cross-compilation-for-arm
     fi
   else
-    HOST=$HOST bash -$- ${CGAL_DIR}/${SCRIPTS_DIR}developer_scripts/run_testsuite_with_cmake
+    HOST=$HOST bash -$- ${CGAL_DIR}/${SCRIPTS_DIR}developer_scripts/run_testsuite_with_ctest
   fi
 done
 
diff --git a/Scripts/developer_scripts/run_testsuite_with_cmake b/Scripts/developer_scripts/run_testsuite_with_ctest
similarity index 98%
rename from Scripts/developer_scripts/run_testsuite_with_cmake
rename to Scripts/developer_scripts/run_testsuite_with_ctest
index 0c79a5000f1..26a8ed972bb 100644
--- a/Scripts/developer_scripts/run_testsuite_with_cmake
+++ b/Scripts/developer_scripts/run_testsuite_with_ctest
@@ -328,7 +328,7 @@ run_test_on_platform()
   cat "${CGAL_BINARY_DIR}/package_installation.log" >> "Installation/${TEST_REPORT}"
   
   #call the python script to complete the results report.
-  python3 ${CGAL_DIR}/${TESTSUITE_DIR}test/get_deactivated_packages_info.py Installation/${TEST_REPORT} ${TEST_REPORT} results_${CGAL_TESTER}_${PLATFORM}.txt
+  python3 ${CGAL_DIR}/${TESTSUITE_DIR}test/post_process_ctest_results.py Installation/${TEST_REPORT} ${TEST_REPORT} results_${CGAL_TESTER}_${PLATFORM}.txt
   rm -f $OUTPUT_FILE $OUTPUT_FILE.gz
   if [ -n "${SCRIPTS_DIR}" ]; then
     rm ../../../../../.scm-branch
diff --git a/Testsuite/test/get_deactivated_packages_info.py b/Testsuite/test/post_process_ctest_results.py
similarity index 100%
rename from Testsuite/test/get_deactivated_packages_info.py
rename to Testsuite/test/post_process_ctest_results.py