boost/redis
2
0
Fork 0
mirror of https://github.com/boostorg/redis.git synced 2026-01-19 04:42:09 +00:00
Code Issues Projects Releases Wiki Activity

Replaces --with-system with --with-headers when building Boost in CI (#382)

Browse Source
This commit is contained in:
Anarthal (Rubén Pérez)
2026-01-18 15:44:55 +01:00
committed by GitHub
parent c11a5194d8
commit 002b616dd9
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
tools/ci.py
View File

@@ -134,7 +134,7 @@ def _build_b2_distro(
_run([ _run([
_b2_command, _b2_command,
'--prefix={}'.format(_b2_distro), '--prefix={}'.format(_b2_distro),
'--with-system', '--with-headers',
'toolset={}'.format(toolset), 'toolset={}'.format(toolset),
'-d0', '-d0',
'install' 'install'