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

[bertos.git] / bertos / gui / menu.h

diff --git a/bertos/gui/menu.h b/bertos/gui/menu.h
index d5b516ae9cec6443b94eb660ea5cfd0170ac76fa..9e6e58addca6f70b49873b5822fe226d2542527c 100644 (file)
--- a/bertos/gui/menu.h
+++ b/bertos/gui/menu.h
@@ -37,7 +37,6 @@
  * \brief Common menu handling API
  *
  * $WIZ$ module_name = "menu"
- * $WIZ$ module_configuration = "bertos/cfg/cfg_menu.h"
  * $WIZ$ module_depends = "text", "gfx", "timer", "kbd"
  */