benchmark: do not build serial driver in context_switch if CONFIG_USE_HP_TIMER is...

[bertos.git] / bertos / benchmark / context_switch.h

diff --git a/bertos/benchmark/context_switch.h b/bertos/benchmark/context_switch.h
index e17921aeeee0054d686f99c361de95ca9015d9aa..350a5312aa74f5aa57f79e5023f5c5f7b40b7b3a 100644 (file)
--- a/bertos/benchmark/context_switch.h
+++ b/bertos/benchmark/context_switch.h
@@ -36,7 +36,7 @@
  * \author Daniele Basiele <asterix@develer.com>
  *
  * $WIZ$ module_name = "context_switch"
- * $WIZ$ module_depends = "kfile", "kern", "signal", "timer", "ser"
+ * $WIZ$ module_depends = "kfile", "kern", "signal", "timer"
  * $WIZ$ module_configuration = "bertos/cfg/cfg_context_switch.h"
  * $WIZ$ module_hw = "bertos/hw/hw_led.h"
  */