From 002b616dd98cc3edef5f2bc28ae36458f6583491 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Anarthal=20=28Rub=C3=A9n=20P=C3=A9rez=29?= <34971811+anarthal@users.noreply.github.com> Date: Sun, 18 Jan 2026 15:44:55 +0100 Subject: [PATCH] Replaces --with-system with --with-headers when building Boost in CI (#382) --- tools/ci.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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'