mirror of
https://github.com/ElementsProject/elements.git
synced 2026-08-14 12:43:40 +02:00
Merge 9a8318f30b into merged_master (Bitcoin PR bitcoin/bitcoin#27707)
This commit is contained in:
commit
4dfd0f949d
1 changed files with 1 additions and 0 deletions
|
|
@ -166,6 +166,7 @@ if [ "${RUN_TIDY}" = "true" ]; then
|
|||
python3 "${DIR_IWYU}/include-what-you-use/iwyu_tool.py" \
|
||||
-p . "${MAKEJOBS}" \
|
||||
-- -Xiwyu --cxx17ns -Xiwyu --mapping_file="${BASE_BUILD_DIR}/elements-$HOST/contrib/devtools/iwyu/bitcoin.core.imp" \
|
||||
-Xiwyu --max_line_length=160 \
|
||||
2>&1 | tee /tmp/iwyu_ci.out
|
||||
cd "${BASE_ROOT_DIR}/src"
|
||||
python3 "${DIR_IWYU}/include-what-you-use/fix_includes.py" --nosafe_headers < /tmp/iwyu_ci.out
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue