diff --git a/configure b/configure index d7a70e35f1d9..d92d0fa76607 100755 --- a/configure +++ b/configure @@ -17693,3 +17693,4 @@ fi ac_configure_args="$_SUBDIR_CONFIG_ARGS" fi +