diff --git a/Scripts/developer_scripts/run_testsuite_with_ctest b/Scripts/developer_scripts/run_testsuite_with_ctest index 29d745e86a3..822f7141520 100644 --- a/Scripts/developer_scripts/run_testsuite_with_ctest +++ b/Scripts/developer_scripts/run_testsuite_with_ctest @@ -384,8 +384,8 @@ EOF ##################### ## GET RESULTS ## ##################### - TAG_DIR=$(awk '/^Create new tag: /{print $4F}' tmp.txt) - rm tmp.txt + + TAG_DIR=$(dirname "$(find Testing -type f -name 'Test.xml' 2>/dev/null | head -1)") cd "Testing/${TAG_DIR}" || exit 1 RESULT_FILE=./"results_${CGAL_TESTER}_${PLATFORM}.txt" rm -f "$RESULT_FILE"