patchupdate.py: Ignore patch files which do not start with a number.

This commit is contained in:
Sebastian Lackner 2014-12-14 04:54:34 +01:00
parent eadd577d84
commit f30b0e34fb

View File

@ -257,7 +257,9 @@ def read_patchset(revision = None):
# Enumerate .patch files in the given directory, enumerate individual patches and affected files
for f in sorted(os.listdir(subdirectory)):
if not f.endswith(".patch") or not os.path.isfile(os.path.join(subdirectory, f)):
if not re.match("^[0-9]{4}-.*\\.patch$", f):
continue
if not os.path.isfile(os.path.join(subdirectory, f)):
continue
patch.files.append(f)
for p in patchutils.read_patch(os.path.join(subdirectory, f)):