tree cd0292894cb9c6819c7be2d02027059f3d05381d
parent 60abc786dd3b5d6917d63fd789c9fed772f65039
author Florian Fainelli <florian@openwrt.org> 1367360910 -0700
committer Linus Torvalds <torvalds@linux-foundation.org> 1367366648 -0700

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>