config: fix typo in option name

diff --git a/config/Configure.help b/config/Configure.help
index a9600405261e065c6bfa9c14ae80a21a3ee52361..d4da4fa6c5ec10ddd16f95daf50a87adb8e7442c 100644 (file)
--- a/config/Configure.help
+++ b/config/Configure.help
@@ -70,7 +70,7 @@ CONFIG_MODULE_SCHEDULER_CREATE_CONFIG
   Create a scheduler_config.h file if it does not exist, with a default
   configuration.
 
-CONFIG_MODULE_SCHEDULER_TIMER0
+CONFIG_MODULE_SCHEDULER_USE_TIMERS
   Use either the hardware/timer module, the timer0 or a manual call 
   for the to call the scheduler. The generic timer module support 
   many archs and timers. If you don't enable it, you must use TIMER0