Skip to content

Commit 8eb0167

Browse files
authored
Make headers-are-included.sh work post-build (#7127)
1 parent 28d57e4 commit 8eb0167

1 file changed

Lines changed: 2 additions & 1 deletion

File tree

scripts/headers-are-included.sh

Lines changed: 2 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -8,7 +8,8 @@
88
find src/ include/ -type f -print0 | xargs -0 grep -h "#include" | grep -E "include .?ccf/" | cut -d " " -f 2 | jq -r . | grep -v "ccf/version.h" | sort -u > /tmp/CCF_INCLUDED
99

1010
pushd include/ || exit 1
11-
find ccf -type f -name "*.h" | sort -u > /tmp/CCF_HEADERS
11+
# version.h may have been generated, if cmake was run
12+
find ccf -type f -name "*.h" | grep -v "ccf/version.h" | sort -u > /tmp/CCF_HEADERS
1213
popd || exit 1
1314

1415
diff -y --suppress-common-lines /tmp/CCF_HEADERS /tmp/CCF_INCLUDED

0 commit comments

Comments
 (0)