From ed3f7857e2eb59cbdaf8629d780d5b980ca7c2a4 Mon Sep 17 00:00:00 2001 From: Gregory Nutt Date: Thu, 7 Aug 2014 12:35:24 -0600 Subject: [PATCH] Remove CONFIG_DISABLE_CLOCK --- Documentation/NuttShell.html | 7 +++---- 1 file changed, 3 insertions(+), 4 deletions(-) diff --git a/Documentation/NuttShell.html b/Documentation/NuttShell.html index b73fd77c381..886ae053c9b 100644 --- a/Documentation/NuttShell.html +++ b/Documentation/NuttShell.html @@ -8,7 +8,7 @@

NuttShell (NSH)

-

Last Updated: March 6, 2014

+

Last Updated: August 7, 2014

@@ -2564,7 +2564,7 @@ nsh> date - !CONFIG_DISABLE_CLOCK && CONFIG_RTC + CONFIG_RTC CONFIG_NSH_DISABLE_DATE @@ -2700,8 +2700,7 @@ nsh> ping CONFIG_NET && CONFIG_NET_ICMP && - CONFIG_NET_ICMP_PING && !CONFIG_DISABLE_CLOCK && - !CONFIG_DISABLE_SIGNALS + CONFIG_NET_ICMP_PING && !CONFIG_DISABLE_SIGNALS CONFIG_NSH_DISABLE_PING