tree a2af862d92f40cf38ebebc319134fadf8de1701b
parent 68435fa1519cb92493fd59e05bc9dbe7f2205feb
author Wolfgang Denk <wd@denx.de> 1322507981 +0100
committer Wolfgang Denk <wd@denx.de> 1322507981 +0100

menu.c: use puts() instead of printf() where possible

common/menu.c used printf() in a number of places to print user
provided, constant strings (like the "title" string).  printf() is
dangerous here for example in case the user unwittingly embeds some
'%' caracters that printf() would interpret as formatting and then
pick up random arguments.  Use puts() instead.

We also omit the trailing ':' in the title line - if a user wants
this, he can provide it as part of the title string.

Signed-off-by: Wolfgang Denk <wd@denx.de>