update to 2015.04-rc1

[karo-tx-uboot.git] / common / spl / spl.c

diff --git a/common/spl/spl.c b/common/spl/spl.c
index 46447f4905216bb98748794d07752ea8c8121483..526bd1a754490c5f93cdd9f0d6786c1b7828dbb2 100644 (file)
--- a/common/spl/spl.c
+++ b/common/spl/spl.c
@@ -232,7 +232,7 @@ void board_init_r(gd_t *dummy1, ulong dummy2)
 #endif
        default:
 #if defined(CONFIG_SPL_SERIAL_SUPPORT) && defined(CONFIG_SPL_LIBCOMMON_SUPPORT)
-               printf("SPL: Unsupported Boot Device %d\n", boot_device);
+               puts("SPL: Unsupported Boot Device!\n");
 #endif
                hang();
        }