Generate BIOS date based on UTC (Debian patch).

This commit is contained in:
Volker Ruppert 2020-06-20 16:40:50 +00:00
parent 4b27cc1103
commit 3205ac91fa

View File

@ -43,7 +43,7 @@ BX_INCDIRS = -I.. -I$(srcdir)/.. -I../iodev -I$(srcdir)/../iodev
LOCAL_CXXFLAGS =
UPSTREAM_RELEASE_DATE = $(shell grep "Updated:" ../README | sed 's/Updated://')
BUILDDATE = `date -d '$(UPSTREAM_RELEASE_DATE)' '+%m/%d/%y'`
BUILDDATE = `date -u -d '$(UPSTREAM_RELEASE_DATE)' '+%m/%d/%y'`
BIOS_BUILD_DATE = "-DBIOS_BUILD_DATE=\"$(BUILDDATE)\""
#
# -------- end configurable options --------------------------