diff options
| -rwxr-xr-x | Tools/scripts/xxci.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Tools/scripts/xxci.py b/Tools/scripts/xxci.py index e747c8d..3ac73f3 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'] |