From a6b9c64bd09310b698ae1f17ed1ce51f1c09a399 Mon Sep 17 00:00:00 2001 From: Ruben Perez Date: Sun, 18 Jan 2026 15:20:50 +0100 Subject: [PATCH] Replaces --with-system with --with-headers when building Boost in CI --- tools/ci.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/tools/ci.py b/tools/ci.py index 68f6a8514..6e1ba13e2 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'