diff --git a/tools/check_header.sh b/tools/check_header.sh index 2348bee3d7e780c075572cfb47e71813d9fa6de2..acae8a8476fdb528a8689f789666b5ecf7bac669 100755 --- a/tools/check_header.sh +++ b/tools/check_header.sh @@ -186,6 +186,7 @@ files=$( git ls-files | grep -v CTest | grep -v cblas.h | grep -v "lapacke.*\.h" | + grep -v "coreblas/lapack\.h" | grep -v ".*eztrace_module$" | grep -v "simucore/perfmodels/\.starpu" | grep -v "\.xml" |