diff options
| author | Erik Kundiman <erik@megapahit.org> | 2026-09-10 20:21:23 +0800 |
|---|---|---|
| committer | Erik Kundiman <erik@megapahit.org> | 2026-09-10 20:28:04 +0800 |
| commit | da66c6f3d95682306b31e2646e73ba5505a73680 (patch) | |
| tree | edabd851035cf3eba7bf24b893956373b09b9081 /scripts/code_tools/modified_strings.py | |
| parent | 61a437590757c69fda96b17d09e4cb71fa6097c5 (diff) | |
Temporarily use pre-/self-built Boost on Debian
as current stable Debian 13 Boost doesn't include Boost Process, even
its 1.88. Revert this if 13 gets a newer Boost or the stable version
upgrades to 14. The version chosen to be built on arm64 here is the same
as in autobuild.xml, which is 1.90.
Diffstat (limited to 'scripts/code_tools/modified_strings.py')
0 files changed, 0 insertions, 0 deletions