1 2 3 4 5 6 7 8 9 10 11 12 13 14 15
|
Description: Set BIOS_BUILD_DATE to be the upstream release date
Author: Santiago Vila <sanvila@debian.org>
--- a/bios/Makefile.in
+++ b/bios/Makefile.in
@@ -42,7 +42,8 @@
BX_INCDIRS = -I.. -I$(srcdir)/.. -I../iodev -I$(srcdir)/../iodev
LOCAL_CXXFLAGS =
-BUILDDATE = `date '+%m/%d/%y'`
+UPSTREAM_RELEASE_DATE = $(shell head -n 1 ../CHANGES | sed 's/.*(//' | sed -e 's/).*//')
+BUILDDATE = `date -d '$(UPSTREAM_RELEASE_DATE)' '+%m/%d/%y'`
BIOS_BUILD_DATE = "-DBIOS_BUILD_DATE=\"$(BUILDDATE)\""
#
# -------- end configurable options --------------------------
|