From 69ce0bf36b2453858a6011e4916d2fc547b09d9d Mon Sep 17 00:00:00 2001
From: Olivier Matz <zer0@droids-corp.org>
Date: Thu, 7 Nov 2013 20:32:03 +0100
Subject: [PATCH] config: fix typo in option name

---
 config/Configure.help | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/config/Configure.help b/config/Configure.help
index a960040..d4da4fa 100644
--- 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 
-- 
2.20.1