diff --git a/vcbuild.bat b/vcbuild.bat
index 8948d70212d..a9576263c05 100644
--- 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