diff options
Diffstat (limited to 'WebKitTools/WinLauncher/WinLauncherPreBuild.cmd')
| -rw-r--r-- | WebKitTools/WinLauncher/WinLauncherPreBuild.cmd | 6 |
1 files changed, 0 insertions, 6 deletions
diff --git a/WebKitTools/WinLauncher/WinLauncherPreBuild.cmd b/WebKitTools/WinLauncher/WinLauncherPreBuild.cmd deleted file mode 100644 index 3a84c26..0000000 --- a/WebKitTools/WinLauncher/WinLauncherPreBuild.cmd +++ /dev/null @@ -1,6 +0,0 @@ -%SystemDrive%\cygwin\bin\which.exe bash -if errorlevel 1 set PATH=%SystemDrive%\cygwin\bin;%PATH% -cmd /c -if exist "%WEBKITOUTPUTDIR%\buildfailed" grep XX%PROJECTNAME%XX "%WEBKITOUTPUTDIR%\buildfailed" -if errorlevel 1 exit 1 -echo XX%PROJECTNAME%XX > "%WEBKITOUTPUTDIR%\buildfailed" |