projects / tools / mic.git / search
| 2014-01-16 | Xiaoning Zhu | Fix chroot failure caused by out-of-disk-space error. Signed-off-by: Xiaoning Zhu <xiaoning.zhu@intel.com> |
commit | commitdiff | tree |
| 2013-09-09 | Xiaoning Zhu | Add mic bash tab completion support Signed-off-by: Xiaoning Zhu <xiaoning.zhu@intel.com> |
commit | commitdiff | tree |
| 2013-09-02 | Xiaoning Zhu | make customized setting of plugin_dir work in bootstrap... |
commit | commitdiff | tree |