mirror of
https://github.com/MariaDB/server.git
synced 2025-01-30 18:41:56 +01:00
10 lines
257 B
Batchfile
10 lines
257 B
Batchfile
|
@echo off
|
||
|
|
setlocal
|
||
|
|
SET srcdir="%1"
|
||
|
|
SET bindir="%1"
|
||
|
|
SET pcretest="%3"
|
||
|
|
if not [%CMAKE_CONFIG_TYPE%]==[] SET pcretest="%bindir%\%CMAKE_CONFIG_TYPE%\pcretest.exe"
|
||
|
|
call %srcdir%\RunTest.Bat
|
||
|
|
if errorlevel 1 exit /b 1
|
||
|
|
echo RunTest.bat tests successfully completed
|