equal
deleted
inserted
replaced
429 |
429 |
430 f = os.popen("patch -p%d < %s" % (strip, pf)) |
430 f = os.popen("patch -p%d < %s" % (strip, pf)) |
431 files = [] |
431 files = [] |
432 for l in f.read().splitlines(): |
432 for l in f.read().splitlines(): |
433 l.rstrip('\r\n'); |
433 l.rstrip('\r\n'); |
434 if not quiet: |
434 ui.status("%s\n" % l) |
435 print l |
|
436 if l[:14] == 'patching file ': |
435 if l[:14] == 'patching file ': |
437 pf = l[14:] |
436 pf = l[14:] |
438 if pf not in files: |
437 if pf not in files: |
439 files.append(pf) |
438 files.append(pf) |
440 patcherr = f.close() |
439 patcherr = f.close() |