diff --git a/tests/scripts/all.sh b/tests/scripts/all.sh index 182f7fff4..e7daa29f0 100755 --- a/tests/scripts/all.sh +++ b/tests/scripts/all.sh @@ -295,7 +295,7 @@ check_tools() } check_headers_in_cpp () { - ls include/mbedtls >headers.txt + ls include/mbedtls | grep "\.h$" >headers.txt