ppc4xx: 405EX: Correctly enable USB pins

[u-boot] / common / cmd_console.c

diff --git a/common/cmd_console.c b/common/cmd_console.c
index 912234b4fa06924cc63fab93e50fe6d67fa64a22..5e0f990723b371c013fe315af27811db812fc2e4 100644 (file)
--- a/common/cmd_console.c
+++ b/common/cmd_console.c
@@ -28,7 +28,7 @@
 #include <command.h>
 #include <devices.h>
 
-#if (CONFIG_COMMANDS & CFG_CMD_CONSOLE)
+#if defined(CONFIG_CMD_CONSOLE)
 
 extern void _do_coninfo (void);
 int do_coninfo (cmd_tbl_t * cmd, int flag, int argc, char *argv[])
@@ -37,7 +37,7 @@ int do_coninfo (cmd_tbl_t * cmd, int flag, int argc, char *argv[])
 
        /* Scan for valid output and input devices */
 
-       printf ("List of available devices:\n");
+       puts ("List of available devices:\n");
 
        for (i = 1; i <= ListNumItems (devlist); i++) {
                device_t *dev = ListGetPtrToItem (devlist, i);
@@ -64,8 +64,8 @@ int do_coninfo (cmd_tbl_t * cmd, int flag, int argc, char *argv[])
 
 U_BOOT_CMD(
        coninfo,        3,      1,      do_coninfo,
-       "coninfo - print console devices and informations\n",
+       "coninfo - print console devices and information\n",
        ""
 );
 
-#endif /* CFG_CMD_CONSOLE */
+#endif