Merge remote-tracking branch 'cgal/6.0.x-branch' into cgal/6.1.x-branch

2025-12-12 17:48:59 +01:00
parent 4af12e7167 fed810284e
commit 061bc2dc29
13 changed files with 65 additions and 28 deletions
@@ -384,8 +384,9 @@ 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)")
+  TAG_DIR=${TAG_DIR##Testing/}
  cd "Testing/${TAG_DIR}" || exit 1
  RESULT_FILE=./"results_${CGAL_TESTER}_${PLATFORM}.txt"
  rm -f "$RESULT_FILE"