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

diff --git a/vcbuild.bat b/vcbuild.bat
index 8948d70..a957626 100644 (file)
--- a/vcbuild.bat
+++ b/vcbuild.bat
@@ -62,6 +62,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