vcbuild.bat: add duplicate arg-ok label to work around cmd.exe bug

This commit is contained in:
Bert Belder 2012-06-14 00:55:45 +02:00
Родитель 6a8b5b36b4
Коммит 029e01bb80
1 изменённых файлов: 1 добавлений и 0 удалений

Просмотреть файл

@ -61,6 +61,7 @@ if /i "%1"=="jslint" set jslint=1&goto arg-ok
echo Warning: ignoring invalid command line option `%1`.
:arg-ok
:arg-ok
shift
goto next-arg