Merge commit '0f50c3deef6d8501e49db55a1daf9d4b25f8ce4d' as 'libs/Catch2'

2022-10-20 13:56:24 +02:00
parent 6d5aa08332 0f50c3deef
commit 3185b0bd7e
392 changed files with 99904 additions and 0 deletions
--- a/libs/Catch2/misc/appveyorTestRunScript.bat
+++ b/libs/Catch2/misc/appveyorTestRunScript.bat
@@ -0,0 +1,15 @@
+SETLOCAL EnableDelayedExpansion
+
+cd Build
+if "%CONFIGURATION%"=="Debug" (
+  if "%coverage%"=="1" (
+    ctest -j 2 -C %CONFIGURATION% -D ExperimentalMemCheck || exit /b !ERRORLEVEL!
+    python ..\misc\appveyorMergeCoverageScript.py || exit /b !ERRORLEVEL!
+    codecov --root .. --no-color --disable gcov -f cobertura.xml -t %CODECOV_TOKEN% || exit /b !ERRORLEVEL!
+  ) else (
+    ctest -j 2 -C %CONFIGURATION% || exit /b !ERRORLEVEL!
+  )
+)
+if "%CONFIGURATION%"=="Release" (
+  ctest -j 2 -C %CONFIGURATION% || exit /b !ERRORLEVEL!
+)