1 files changed, 1 insertions, 1 deletions
diff --git a/admin/check-style.sh b/admin/check-style.sh
index c43322caa4a94..d5fa755ae0fc5 100755
--- a/admin/check-style.sh
+++ b/admin/check-style.sh
@@ -108,7 +108,7 @@ find_sources() {
               \! -name "ltsugar.m4" \
               \! -name "lt~obsolete.m4" \
               \! -name "*.so.*" \
-           \) | grep -v tools/
+           \)
 }
 
 #