diff options
Diffstat (limited to 'WebKitTools/Scripts/run-webkit-nightly.cmd')
| -rwxr-xr-x | WebKitTools/Scripts/run-webkit-nightly.cmd | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/WebKitTools/Scripts/run-webkit-nightly.cmd b/WebKitTools/Scripts/run-webkit-nightly.cmd new file mode 100755 index 0000000..93037ab --- /dev/null +++ b/WebKitTools/Scripts/run-webkit-nightly.cmd @@ -0,0 +1,10 @@ +@echo off +set script="%TMP%\run-webkit-nightly2.cmd" +set vsvars="%VS80COMNTOOLS%\vsvars32.bat" +if exist %vsvars% ( + copy %vsvars% "%script%" +) else ( + del "%script%" +) +FindSafari.exe %1 /printSafariLauncher >> "%script%" +call %script% |