diff options
| -rwxr-xr-x | Tools/scripts/patchtool.py | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/Tools/scripts/patchtool.py b/Tools/scripts/patchtool.py index de9a5ed99ac7..a13bc6ed5230 100755 --- a/Tools/scripts/patchtool.py +++ b/Tools/scripts/patchtool.py @@ -60,8 +60,7 @@ class Vars: # Check if the supplied patch refers to a port's directory. # def isportdir(path, soft = False): - REQ_FILES = ('Makefile', 'pkg-descr', 'pkg-plist', \ - 'distinfo') + REQ_FILES = ('Makefile', 'pkg-descr', 'distinfo') if not os.path.isdir(path) and soft != True: raise IOError(errno.ENOENT, path) # Not reached # |