Remove header files

This commit is contained in:
Christian Clauss 2020-01-09 09:39:24 +01:00 committed by GitHub
parent 0f64d1949b
commit e2c65cab9c
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -20,7 +20,7 @@ jobs:
def good_filepaths(top_dir: str = ".") -> Iterator[str]:
cpp_exts = tuple(".c .c++ .cc .cpp .cu .cuh .cxx .h .h++ .hh .hpp .hxx".split())
cpp_exts = tuple(".c .c++ .cc .cpp .cu .cxx".split())
for dirpath, dirnames, filenames in os.walk(top_dir):
dirnames[:] = [d for d in dirnames if d[0] not in "._"]
for filename in filenames: