diff options
| author | Florian Fainelli <[email protected]> | 2013-04-30 15:28:30 -0700 |
|---|---|---|
| committer | Linus Torvalds <[email protected]> | 2013-04-30 17:04:08 -0700 |
| commit | 1a0f39997caf3e1edc7e5b7da168b91c32760ccb (patch) | |
| tree | cd0292894cb9c6819c7be2d02027059f3d05381d /scripts/patch-kernel | |
| parent | 60abc786dd3b5d6917d63fd789c9fed772f65039 (diff) | |
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 <[email protected]>
Cc: Rodolfo Giometti <[email protected]>
Signed-off-by: Andrew Morton <[email protected]>
Signed-off-by: Linus Torvalds <[email protected]>
Diffstat (limited to 'scripts/patch-kernel')
0 files changed, 0 insertions, 0 deletions