diff options
Diffstat (limited to 'misc/appveyorBuildConfigurationScript.bat')
| -rw-r--r-- | misc/appveyorBuildConfigurationScript.bat | 22 |
1 files changed, 0 insertions, 22 deletions
diff --git a/misc/appveyorBuildConfigurationScript.bat b/misc/appveyorBuildConfigurationScript.bat deleted file mode 100644 index f07bb707..00000000 --- a/misc/appveyorBuildConfigurationScript.bat +++ /dev/null @@ -1,22 +0,0 @@ -SETLOCAL EnableDelayedExpansion - -@REM # Possibilities: -@REM # Debug build + coverage -@REM # Debug build + examples -@REM # Debug build + --- -@REM # Release build -if "%CONFIGURATION%"=="Debug" ( - if "%coverage%"=="1" ( - @REM # coverage needs to build the special helper as well as the main - cmake -Hmisc -Bbuild-misc -A%PLATFORM% || exit /b !ERRORLEVEL! - cmake --build build-misc || exit /b !ERRORLEVEL! - cmake -H. -BBuild -A%PLATFORM% -DUSE_WMAIN=%wmain% -DMEMORYCHECK_COMMAND=build-misc\Debug\CoverageHelper.exe -DMEMORYCHECK_COMMAND_OPTIONS=--sep-- -DMEMORYCHECK_TYPE=Valgrind || exit /b !ERRORLEVEL! || exit /b !ERRORLEVEL! - ) else ( - @REM # We know that coverage is 0 - python scripts\generateSingleHeader.py || exit /b !ERRORLEVEL! - cmake -H. -BBuild -A%PLATFORM% -DUSE_WMAIN=%wmain% -DCATCH_BUILD_EXAMPLES=%examples% -DCATCH_BUILD_EXTRA_TESTS=%examples% || exit /b !ERRORLEVEL! - ) -) -if "%CONFIGURATION%"=="Release" ( - cmake -H. -BBuild -A%PLATFORM% -DUSE_WMAIN=%wmain% || exit /b !ERRORLEVEL! -) |