diff options
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 1073a3e588..4ebb0ede00 100644 --- a/vcbuild.bat +++ b/vcbuild.bat @@ -70,6 +70,7 @@ if /i "%1"=="small-icu" set i18n_arg=%1&goto arg-ok if /i "%1"=="full-icu" set i18n_arg=%1&goto arg-ok if /i "%1"=="intl-none" set i18n_arg=%1&goto arg-ok if /i "%1"=="download-all" set download_arg="--download=all"&goto arg-ok +if /i "%1"=="ignore-flaky" set test_args=%test_args% --flaky-tests=dontcare&goto arg-ok echo Warning: ignoring invalid command line option `%1`. |