projects
/
tools
/
mic.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
| inline |
side by side
Use cpio gzip in mic.
[tools/mic.git]
/
mic
/
cmd_create.py
diff --git
a/mic/cmd_create.py
b/mic/cmd_create.py
index
54fdbde
..
729100b
100755
(executable)
--- a/
mic/cmd_create.py
+++ b/
mic/cmd_create.py
@@
-146,6
+146,8
@@
def main(parser, args, argv):
\r
if args.pack_to is not None:
\r
configmgr.create['pack_to'] = args.pack_to
\r
+ if args.cpio:
\r
+ configmgr.create['cpio'] = args.cpio
\r
\r
if args.copy_kernel:
\r
configmgr.create['copy_kernel'] = args.copy_kernel
\r