diff options
author | Bert Belder <bertbelder@gmail.com> | 2012-06-14 02:55:45 +0400 |
---|---|---|
committer | Bert Belder <bertbelder@gmail.com> | 2012-06-14 02:56:43 +0400 |
commit | 029e01bb809d792651e6c12cdaa34f04f5333c26 (patch) | |
tree | 8cae4b3da8d051266edb92e1ef7cd8910bdf92d5 /vcbuild.bat | |
parent | 6a8b5b36b4570b4e9468f4c4599f8f6513c35017 (diff) |
vcbuild.bat: add duplicate arg-ok label to work around cmd.exe bug
Diffstat (limited to 'vcbuild.bat')
-rw-r--r-- | vcbuild.bat | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/vcbuild.bat b/vcbuild.bat index 8948d70212d..a9576263c05 100644 --- 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 |