remove clearly unnecessary lingering BUILD file references

2022-10-04 16:47:25 -07:00
parent 27344212ce
commit db9c760ee7
5 changed files with 2 additions and 11 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 'BUILD' in files:
-           files.remove('BUILD')

        for name in files:
            pathname = os.path.join(root, name)