diff --git a/tpls/install-tpls.py b/tpls/install-tpls.py index 9ac9f8a1..d97e3367 100755 --- a/tpls/install-tpls.py +++ b/tpls/install-tpls.py @@ -229,6 +229,7 @@ logger, tpl_registry, args.build_shared, + skip_ssl_verify=args.skip_ssl_verify ) if build.check():