diff options
Diffstat (limited to 'bl31/bl31_main.c')
-rw-r--r-- | bl31/bl31_main.c | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/bl31/bl31_main.c b/bl31/bl31_main.c index 82449f5..536bb86 100644 --- a/bl31/bl31_main.c +++ b/bl31/bl31_main.c @@ -83,9 +83,8 @@ void bl31_main(void) /* Perform platform setup in BL1 */ bl31_platform_setup(); -#if defined (__GNUC__) - printf("BL31 Built : %s, %s\n\r", __TIME__, __DATE__); -#endif + printf("BL31 %s\n\r", build_message); + /* Initialise helper libraries */ bl31_lib_init(); |