mirror of
https://github.com/ddnet/ddnet.git
synced 2024-11-10 01:58:19 +00:00
Automatically detect unused header files
This commit is contained in:
parent
b33cbdde0a
commit
1e47c280b2
3
.github/workflows/style.yml
vendored
3
.github/workflows/style.yml
vendored
|
@ -50,3 +50,6 @@ jobs:
|
|||
run: |
|
||||
pylint --version
|
||||
find . -type f -name "*.py" -not -path './ddnet-libs/*' -not -path './googletest-src/*' -print0 | xargs -0 pylint
|
||||
- name: Unused headers
|
||||
run: |
|
||||
find src -name '*.h' | while read i; do grep -r -q $(basename $i) || (echo "Header file $i is unused" && exit 1); done
|
||||
|
|
Loading…
Reference in a new issue