]> xenbits.xensource.com Git - people/liuw/mini-os.git/commit
projects / people / liuw / mini-os.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 89268f0) | patch
Config.mk: use MINI_OS if specified
authorWei Liu <wei.liu2@citrix.com>
Wed, 9 Mar 2016 18:59:47 +0000 (18:59 +0000)
committerWei Liu <wei.liu2@citrix.com>
Wed, 9 Mar 2016 18:59:47 +0000 (18:59 +0000)
commit2c6420cf811a7ccef0f92d51afa80c569d6885f2
treeb82820a1a1c07334ba9ec06a7924ad7cbc5be4b5tree
parent89268f00b0b0215057cb74edd94e866536a02489commit | diff
Config.mk: use MINI_OS if specified

Signed-off-by: Wei Liu <wei.liu2@citrix.com>
Config.mk diff | blob | blame | history
Unnamed repository; edit this file 'description' to name the repository.