Remove refs to .make

2022-10-01 14:15:10 -07:00
parent d8988801c2
commit 1c65dc535f
5 changed files with 2 additions and 26 deletions
--- a/hack/verify-flags-underscore.py
+++ b/hack/verify-flags-underscore.py
@@ -62,8 +62,6 @@ def get_all_files(rootdir):
            dirs.remove('third_party')
        if '.git' in dirs:
            dirs.remove('.git')
-        if '.make' in dirs:
-            dirs.remove('.make')
        if 'BUILD' in files:
           files.remove('BUILD')