mark Linux-specific configuration options

PLATFORM_LINUX is used as a dependency for applets or features
which require Linux-specific interfaces.

Signed-off-by: Jeremie Koenig <jk@jk.fr.eu.org>
Signed-off-by: Denys Vlasenko <vda.linux@googlemail.com>
This commit is contained in:
Jeremie Koenig
2010-07-19 00:44:56 +02:00
committed by Denys Vlasenko
parent b175462422
commit 1d7266d3b5
19 changed files with 114 additions and 4 deletions

View File

@ -6,6 +6,7 @@
//config:config BOOTCHARTD
//config: bool "bootchartd"
//config: default y
//config: depends on PLATFORM_LINUX
//config: help
//config: bootchartd is commonly used to profile the boot process
//config: for the purpose of speeding it up. In this case, it is started