new way to search for TAG_DIR

2025-12-08 15:59:06 +01:00 · 2025-12-08 15:59:06 +01:00 · 72c8cc152a
parent e9e7cf4913
commit 72c8cc152a
1 changed files with 2 additions and 2 deletions
--- 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"