diff --git a/Scripts/developer_scripts/autotest_cgal_with_ctest b/Scripts/developer_scripts/autotest_cgal_with_ctest index 81163bac119..c4ff24438a3 100644 --- a/Scripts/developer_scripts/autotest_cgal_with_ctest +++ b/Scripts/developer_scripts/autotest_cgal_with_ctest @@ -225,9 +225,6 @@ fi CGAL_DIR=`readlink "${CGAL_ROOT}/CGAL-I"` CGAL_RELEASE_ID=$(cat last_release_id) -PLATFORMS=`value_of COMPILERS_${HOST}` -#setup dir -setup_dirs for HOST in ${BUILD_HOSTS}; do if [ "$HOST" != "localhost" ]; then #launch docker container diff --git a/Scripts/developer_scripts/run_testsuite_with_cmake b/Scripts/developer_scripts/run_testsuite_with_cmake index eefea70e264..234347b24e2 100644 --- a/Scripts/developer_scripts/run_testsuite_with_cmake +++ b/Scripts/developer_scripts/run_testsuite_with_cmake @@ -255,7 +255,6 @@ run_test_on_platform() if [ -f ${LIST_TEST_FILE} ]; then LIST_TEST_PACKAGES=$(source ${LIST_TEST_FILE}) fi - TO_TEST="" INIT="" for pkg in $LIST_TEST_PACKAGES; do if [ -z "$INIT" ]; then @@ -268,9 +267,9 @@ run_test_on_platform() CTEST_OPTS="-T Start -T Test -j${NUMBER_OF_PROCESSORS} ${DO_NOT_TEST:+-E execution___of__} --timeout 1200" if [ -z "${SHOW_PROGRESS}" ]; then - ctest ${CTEST_OPTS} ${TO_TEST:+-L ${TO_TEST} } ${KEEP_TESTS:+-FC .}> tmp.txt + ctest ${CTEST_OPTS} ${TO_TEST:+"-L ${TO_TEST}" } ${KEEP_TESTS:+-FC .}> tmp.txt else - ctest ${CTEST_OPTS} ${TO_TEST:+-L ${TO_TEST}} ${KEEP_TESTS:+-FC .}|tee tmp.txt + ctest ${CTEST_OPTS} ${TO_TEST:+"-L ${TO_TEST}" } ${KEEP_TESTS:+-FC .}|tee tmp.txt fi ##################### ## GET RESULTS ##