Skip to content

Commit

Permalink
CI changes
Browse files Browse the repository at this point in the history
  • Loading branch information
anarthal committed Dec 9, 2024
1 parent 9bbef33 commit 713ab90
Showing 1 changed file with 3 additions and 0 deletions.
3 changes: 3 additions & 0 deletions tools/ci/ci_util/install_boost.py
Original file line number Diff line number Diff line change
Expand Up @@ -70,6 +70,9 @@ def install_boost(
run(["git", "config", "submodule.fetchJobs", "8"])
run(["git", "submodule", "update", "-q", "--init"] + submodules)

# Manually install the proposed Boost.Hash2
run(["git", "clone", "-b", "master", "https://github.com/pdimov/hash2.git", "libs/hash2"])

if docs_install:
run(['python', 'tools/boostdep/depinst/depinst.py', '../tools/quickbook'])
else:
Expand Down

0 comments on commit 713ab90

Please sign in to comment.