diff options
| author | Florian Fainelli <florian@openwrt.org> | 2013-05-01 02:28:30 +0400 |
|---|---|---|
| committer | Linus Torvalds <torvalds@linux-foundation.org> | 2013-05-01 04:04:08 +0400 |
| commit | 1a0f39997caf3e1edc7e5b7da168b91c32760ccb (patch) | |
| tree | cd0292894cb9c6819c7be2d02027059f3d05381d /.gitignore | |
| parent | 60abc786dd3b5d6917d63fd789c9fed772f65039 (diff) | |
| download | linux-1a0f39997caf3e1edc7e5b7da168b91c32760ccb.tar.xz | |
pps: hide more configuration symbols behind CONFIG_PPS
Make CONFIG_PPS_DEBUG and CONFIG_NTP_PPS be hidden if CONFIG_PPS is not
selected, so that we are not prompted for these configuration options if
CONFIG_PPS is not set.
Signed-off-by: Florian Fainelli <florian@openwrt.org>
Cc: Rodolfo Giometti <giometti@enneenne.com>
Signed-off-by: Andrew Morton <akpm@linux-foundation.org>
Signed-off-by: Linus Torvalds <torvalds@linux-foundation.org>
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions