]> xenbits.xensource.com Git - people/andrewcoop/mini-os.git/commit
projects / people / andrewcoop / mini-os.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 2038d20) | patch
mini-os: add comments in Config.mk regarding new config options
authorJuergen Gross <jgross@suse.com>
Mon, 5 Sep 2016 11:43:30 +0000 (13:43 +0200)
committerWei Liu <wei.liu2@citrix.com>
Mon, 5 Sep 2016 13:46:36 +0000 (14:46 +0100)
commit7f59b36736937304cf18f9f27059bc3dbaad96e7
treed2c2d8de119f6fdf11106e200a90de865df7060etree
parent2038d20ecae19f72327527800efd1bfefc86fa38commit | diff
mini-os: add comments in Config.mk regarding new config options

Add some comment in Config.mk what to do in case of adding new config
options.

Signed-off-by: Juergen Gross <jgross@suse.com>
Reviewed-by: Samuel Thibault <samuel.thibault@ens-lyon.org>
Config.mk diff | blob | blame | history
Andrew's personal minis-os.git