From 185d06ea91967d9c104426ad01bf1177bd1c561a Mon Sep 17 00:00:00 2001
From: Guido van Rossum <guido@python.org>
Date: Tue, 4 Jun 1991 20:44:11 +0000
Subject: Added to list of bad filenames.

---
 Tools/scripts/xxci.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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']
-- 
cgit v0.12