removing directory from TAG_DIR

2025-12-09 15:57:25 +01:00
parent 72c8cc152a
commit 960b646074
1 changed files with 1 additions and 0 deletions
@@ -386,6 +386,7 @@ EOF
  #####################

  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"