Searched refs:patch_filename (Results 1 – 1 of 1) sorted by relevance
548 def __init__(self, patch_filename): argument549 if patch_filename == '-':551 patch_filename = 'stdin'553 f = open(patch_filename, 'rb')557 print('Checking patch file:', patch_filename)558 self.ok = CheckOnePatch(patch_filename, patch).ok