#include <stdarg.h>
#include <common.h>
#include <config.h>
+#ifdef VIDEO_INFO
#include <version.h>
+#include <timestamp.h>
+#endif
#include <i2c.h>
#include <linux/types.h>
#include <devices.h>
easylogo_plot (VIDEO_LOGO_ADDR, screen, width, 0, 0);
#ifdef VIDEO_INFO
- sprintf (info, "%s (%s - %s) ", U_BOOT_VERSION, __DATE__, __TIME__);
+ sprintf (info, "%s (%s - %s) ",
+ U_BOOT_VERSION, U_BOOT_DATE, U_BOOT_TIME);
video_drawstring (VIDEO_INFO_X, VIDEO_INFO_Y, info);
sprintf (info, "(C) 2002 DENX Software Engineering");