diff options
author | Luis R. Rodriguez <mcgrof@do-not-panic.com> | 2013-05-06 20:03:20 -0700 |
---|---|---|
committer | Johannes Berg <johannes.berg@intel.com> | 2013-05-08 09:49:23 +0200 |
commit | f481fd7a6265aa3f0fec05ca9d920360524e2722 (patch) | |
tree | b5bae084e67ba079810b969add35a93574dfa8d0 | |
parent | 9a560f12a21068bfa0d76cc7e0b916dafca9566d (diff) |
gentree.py: keep patch headers for patch refresh
Without this change we were removing patch headers
when refreshing patches.
Cc: techtonik@gmail.com
Signed-off-by: Luis R. Rodriguez <mcgrof@do-not-panic.com>
Signed-off-by: Johannes Berg <johannes.berg@intel.com>
-rwxr-xr-x | gentree.py | 4 |
1 files changed, 3 insertions, 1 deletions
@@ -401,7 +401,9 @@ def process(kerneldir, outdir, copy_list_file, git_revision=None, return 2 if args.refresh: - pfilef = open(pfile + '.tmp', 'w') + pfilef = open(pfile + '.tmp', 'a') + pfilef.write(p.top_header) + pfilef.flush() for patchitem in p.items: patched_file = '/'.join(patchitem.source.split('/')[1:]) fullfn = os.path.join(args.outdir, patched_file) |