Added to list of bad filenames.

diff --git a/Tools/scripts/xxci.py b/Tools/scripts/xxci.py
index e747c8dbac4b5354d330eccf022a1e543a5263f7..3ac73f34b37e32e8e753331340da428d9b8004d4 100755 (executable)
--- 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']