Permalink
Browse files

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

  • Loading branch information...
1 parent 6a8b5b3 commit 029e01bb809d792651e6c12cdaa34f04f5333c26 @piscisaureus piscisaureus committed Jun 13, 2012
Showing with 1 addition and 0 deletions.
  1. +1 −0 vcbuild.bat
View
@@ -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

0 comments on commit 029e01b

Please sign in to comment.