diff --git a/Tools/scripts/xxci.py b/Tools/scripts/xxci.py index e747c8dbac4..3ac73f34b37 100755 --- a/Tools/scripts/xxci.py +++ b/Tools/scripts/xxci.py @@ -26,7 +26,7 @@ def getargs(): args.sort() return args -badnames = ['tags', 'xyzzy'] +badnames = ['tags', 'TAGS', 'xyzzy', 'nohup.out', 'core'] badprefixes = ['.', ',', '@', '#', 'o.'] badsuffixes = \ ['~', '.a', '.o', '.old', '.bak', '.orig', '.new', '.prev', '.not']