diff --git a/tools/ci.py b/tools/ci.py index 68f6a851..6e1ba13e 100755 --- a/tools/ci.py +++ b/tools/ci.py @@ -134,7 +134,7 @@ def _build_b2_distro( _run([ _b2_command, '--prefix={}'.format(_b2_distro), - '--with-system', + '--with-headers', 'toolset={}'.format(toolset), '-d0', 'install'