diff options
author | Michael Brown | 2014-06-19 01:35:04 +0200 |
---|---|---|
committer | Michael Brown | 2014-06-24 16:32:35 +0200 |
commit | 8290a955130e0a6d6112ad8f269d8f617103e070 (patch) | |
tree | 9a3b124dacb036cbf6359fb4ef27fbce3f898fd6 /src/core/main.c | |
parent | [debug] Allow debug message colours to be customised via DBGCOL=... (diff) | |
download | ipxe-8290a955130e0a6d6112ad8f269d8f617103e070.tar.gz ipxe-8290a955130e0a6d6112ad8f269d8f617103e070.tar.xz ipxe-8290a955130e0a6d6112ad8f269d8f617103e070.zip |
[build] Expose build timestamp, build name, and product names
Expose the build timestamp (measured in seconds since the Epoch) and
the build name (e.g. "rtl8139.rom" or "ipxe.efi"), and provide the
product name and product short name in a single centralised location.
Signed-off-by: Michael Brown <mcb30@ipxe.org>
Diffstat (limited to 'src/core/main.c')
-rw-r--r-- | src/core/main.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/core/main.c b/src/core/main.c index c55ca26c..db09e4c3 100644 --- a/src/core/main.c +++ b/src/core/main.c @@ -17,8 +17,8 @@ FILE_LICENCE ( GPL2_OR_LATER ); #include <stddef.h> #include <stdio.h> #include <ipxe/init.h> +#include <ipxe/version.h> #include <usr/autoboot.h> -#include <config/general.h> /** * Main entry point @@ -31,7 +31,7 @@ __asmcall int main ( void ) { initialise(); /* Some devices take an unreasonably long time to initialise */ - printf ( PRODUCT_SHORT_NAME " initialising devices..." ); + printf ( "%s initialising devices...", product_short_name ); startup(); printf ( "ok\n" ); |