projects / tools / mic.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 922e950) | patch
add two new options '--repo' and '--ignore-ksrepo'
authorGui Chen <gui.chen@intel.com>
Thu, 13 Feb 2014 04:06:18 +0000 (23:06 -0500)
committerGui Chen <gui.chen@intel.com>
Tue, 4 Mar 2014 07:02:20 +0000 (02:02 -0500)
commitf3eb67d1b3ca561e9d823fa996199e14b0680bd6
tree2b22f2d83f90753afebf8ec069f5ab411ccf7901tree | snapshot
parent922e95092ffa4b65c126bb0254778595e8be1e7bcommit | diff
add two new options '--repo' and '--ignore-ksrepo'

option '--repo' is to append a new repo to repo pool
option '--ignore-ksrepo' is to ignore repos in ks file

Change-Id: I10280f0c3f40b2f68186240f3694d2eb14104e10
Signed-off-by: Gui Chen <gui.chen@intel.com>
mic/conf.py diff | blob | history
mic/creator.py diff | blob | history
Domain: SCM / Build;