File tree 1 file changed +3
-0
lines changed
1 file changed +3
-0
lines changed Original file line number Diff line number Diff line change @@ -39,6 +39,7 @@ set enable_vtune_arg=
39
39
set configure_flags =
40
40
set build_addons =
41
41
set dll =
42
+ set enable_static =
42
43
43
44
:next-arg
44
45
if " %1 " == " " goto args-done
@@ -82,6 +83,7 @@ if /i "%1"=="download-all" set download_arg="--download=all"&goto arg-ok
82
83
if /i " %1 " == " ignore-flaky" set test_args = %test_args% --flaky-tests=dontcare& goto arg-ok
83
84
if /i " %1 " == " enable-vtune" set enable_vtune_arg = 1& goto arg-ok
84
85
if /i " %1 " == " dll" set dll = 1& goto arg-ok
86
+ if /i " %1 " == " static" set enable_static = 1& goto arg-ok
85
87
86
88
echo Error: invalid command line option `%1 `.
87
89
exit /b 1
@@ -113,6 +115,7 @@ if defined release_urlbase set configure_flags=%configure_flags% --release-urlba
113
115
if defined download_arg set configure_flags = %configure_flags% %download_arg%
114
116
if defined enable_vtune_arg set configure_flags = %configure_flags% --enable-vtune-profiling
115
117
if defined dll set configure_flags = %configure_flags% --shared
118
+ if defined enable_static set configure_flags = %configure_flags% --enable-static
116
119
117
120
if " %i18n_arg% " == " full-icu" set configure_flags = %configure_flags% --with-intl=full-icu
118
121
if " %i18n_arg% " == " small-icu" set configure_flags = %configure_flags% --with-intl=small-icu
You can’t perform that action at this time.
0 commit comments