49
50
raise Exception("%s killed by signal %i" (args[0], -status))
50
51
return stdout, stderr, status
53
54
def patch(patch_contents, filename, output_filename=None, reverse=False):
54
55
"""Apply a patch to a file, to produce another output file. This is should