diff options
Diffstat (limited to '')
| -rwxr-xr-x | ci/boost/build_travis.py | 14 |
1 files changed, 12 insertions, 2 deletions
diff --git a/ci/boost/build_travis.py b/ci/boost/build_travis.py index de8c957..ec38f7c 100755 --- a/ci/boost/build_travis.py +++ b/ci/boost/build_travis.py @@ -9,6 +9,7 @@ # the Travis-defined environment variables. # Boost is built in $HOME. +import argparse import logging import os import sys @@ -49,10 +50,19 @@ def _setup_logging(): level=logging.INFO) -def build_travis(argv=None): +def _parse_args(argv=None): if argv is None: argv = sys.argv[1:] logging.info('Command line arguments: %s', argv) + + parser = argparse.ArgumentParser() + parser.add_argument('b2_args', nargs='*', metavar='B2_ARG', default=(), + help='additional b2 arguments, to be passed verbatim') + return parser.parse_args(argv) + + +def build_travis(argv=None): + args = _parse_args(argv) _check_travis() version = BoostVersion.from_string(_get_boost_version()) @@ -69,7 +79,7 @@ def build_travis(argv=None): '--platform', _get_platform(), '--', version.dir_path(_get_build_dir()), ] - build_main(travis_argv + argv) + build_main(travis_argv + args.b2_args) def main(argv=None): |