projects / platform / upstream / mic.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 26ffdec) | patch
verify if logfile is a file
authorGui Chen <gui.chen@intel.com>
Mon, 7 Jan 2013 07:34:00 +0000 (15:34 +0800)
committerGui Chen <gui.chen@intel.com>
Mon, 21 Jan 2013 17:38:02 +0000 (01:38 +0800)
commit29fa88f6956e52470f26bda57a2af2edbdb6a15b
treece3937fa42f65406babe3c2eafbf27a4c2d62cd9tree | snapshot
parent26ffdecc46ea734ad50f77c65458c75997096be3commit | diff
verify if logfile is a file

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