Fix up _clean_tables.py to remove files and not only dirs
diff --git a/_clean_tables.py b/_clean_tables.py
index 155a820..5b0f1c3 100644
--- a/_clean_tables.py
+++ b/_clean_tables.py
@@ -14,7 +14,10 @@
for pattern in file_patterns:
if fnmatch.fnmatch(file, pattern):
fullpath = os.path.join(path, file)
- shutil.rmtree(fullpath, ignore_errors=True)
+ if os.path.isdir(fullpath):
+ shutil.rmtree(fullpath, ignore_errors=False)
+ else:
+ os.unlink(fullpath)
print('Deleted', fullpath)
except OSError:
pass
