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

piscisaureus · piscisaureus · commit 029e01bb809d · 2012-06-14T00:56:43.000+02:00
diff --git a/vcbuild.bat b/vcbuild.bat
@@ -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
