510d1bd3b0
They don't contain any useful information and also block us from having reproducible builds. Change-Id: Ib03887f6a548230de9f75fb308c73a800e180c48 Signed-off-by: Alexander Couzens <lynxis@fe80.eu> Reviewed-on: http://review.coreboot.org/8616 Tested-by: build bot (Jenkins) Reviewed-by: Martin Roth <gaumless@gmail.com> Reviewed-by: Paul Menzel <paulepanter@users.sourceforge.net> Reviewed-by: Stefan Reinauer <stefan.reinauer@coreboot.org> Reviewed-by: Patrick Georgi <pgeorgi@google.com>
43 lines
1.2 KiB
C
43 lines
1.2 KiB
C
#include <version.h>
|
|
#include <build.h>
|
|
|
|
#ifndef CONFIG_MAINBOARD_VENDOR
|
|
#error CONFIG_MAINBOARD_VENDOR not defined
|
|
#endif
|
|
#ifndef CONFIG_MAINBOARD_PART_NUMBER
|
|
#error CONFIG_MAINBOARD_PART_NUMBER not defined
|
|
#endif
|
|
|
|
#ifndef COREBOOT_VERSION
|
|
#error COREBOOT_VERSION not defined
|
|
#endif
|
|
#ifndef COREBOOT_BUILD
|
|
#error COREBOOT_BUILD not defined
|
|
#endif
|
|
|
|
#ifndef COREBOOT_COMPILE_TIME
|
|
#error COREBOOT_COMPILE_TIME not defined
|
|
#endif
|
|
|
|
#ifndef COREBOOT_EXTRA_VERSION
|
|
#define COREBOOT_EXTRA_VERSION ""
|
|
#endif
|
|
|
|
const char mainboard_vendor[] = CONFIG_MAINBOARD_VENDOR;
|
|
const char mainboard_part_number[] = CONFIG_MAINBOARD_PART_NUMBER;
|
|
|
|
const char coreboot_version[] = COREBOOT_VERSION;
|
|
const char coreboot_extra_version[] = COREBOOT_EXTRA_VERSION;
|
|
const char coreboot_build[] = COREBOOT_BUILD;
|
|
const unsigned int coreboot_version_timestamp = COREBOOT_VERSION_TIMESTAMP;
|
|
|
|
const char coreboot_compile_time[] = COREBOOT_COMPILE_TIME;
|
|
const char coreboot_dmi_date[] = COREBOOT_DMI_DATE;
|
|
|
|
const struct bcd_date coreboot_build_date = {
|
|
.century = 0x20,
|
|
.year = COREBOOT_BUILD_YEAR_BCD,
|
|
.month = COREBOOT_BUILD_MONTH_BCD,
|
|
.day = COREBOOT_BUILD_DAY_BCD,
|
|
.weekday = COREBOOT_BUILD_WEEKDAY_BCD,
|
|
};
|