diff options
author | Johannes Berg <johannes@sipsolutions.net> | 2013-04-03 01:09:16 +0200 |
---|---|---|
committer | Johannes Berg <johannes@sipsolutions.net> | 2013-04-03 01:09:16 +0200 |
commit | e00d6229a3d6266e9d36cad8f12e145063880db5 (patch) | |
tree | 2090acffd69684762bc498abb1b59dba008482f7 /gentree.py | |
parent | a2993c24a41fd69c4dd51c344ae6c6526906213f (diff) |
hard-code list of backport files
This avoids accidentally copying files that are in the
local, possibly dirty, working directory.
Signed-off-by: Johannes Berg <johannes@sipsolutions.net>
Diffstat (limited to 'gentree.py')
-rwxr-xr-x | gentree.py | 8 |
1 files changed, 6 insertions, 2 deletions
@@ -234,13 +234,17 @@ def main(): check_output_dir(args.outdir, args.clean) # do the copy + backport_files = [(x, x) for x in [ + 'Kconfig', 'Makefile', 'Makefile.build', 'Makefile.kernel', + 'Makefile.real', 'compat/', 'include/', 'kconfig/', + ]] if not args.git_revision: print 'Copy original source files ...' - copy_files(os.path.join(source_dir, 'backport'), [('', '')], args.outdir) + copy_files(os.path.join(source_dir, 'backport'), backport_files, args.outdir) copy_files(args.kerneldir, copy_list, args.outdir) else: print 'Get original source files from git ...' - copy_files(os.path.join(source_dir, 'backport'), [('', '')], args.outdir) + copy_files(os.path.join(source_dir, 'backport'), backport_files, args.outdir) copy_git_files(args.kerneldir, copy_list, args.git_revision, args.outdir) # FIXME: should we add a git version of this (e.g. --git-extra-driver)? |