From: Simon Kuenzer <simon@unikraft.io>
Date: Wed, 11 Oct 2023 18:40:40 +0000 (+0200)
Subject: build: Use ISO 8601 format for $(HOSTUTC)
X-Git-Tag: RELEASE-0.15.0~71
X-Git-Url: http://xenbits.xensource.com/gitweb?a=commitdiff_plain;h=9db86c073c68cc2d34faaedf3969ea948f431d99;p=unikraft%2Funikraft.git

build: Use ISO 8601 format for $(HOSTUTC)

In order to make the time format consistent for all host localizations
and systems, we use the ISO 8601 format for UTC.

Signed-off-by: Simon Kuenzer <simon@unikraft.io>
Reviewed-by: Cezar Craciunoiu <cezar.craciunoiu@unikraft.io>
Reviewed-by: Rares Miculescu <miculescur@gmail.com>
Approved-by: Razvan Deaconescu <razvand@unikraft.io>
GitHub-Closes: #1127
---

diff --git a/Makefile b/Makefile
index 8df14d93e..eb908728d 100644
--- a/Makefile
+++ b/Makefile
@@ -440,7 +440,8 @@ HOSTOBJCOPY	:= $(shell which $(HOSTOBJCOPY) || type -p $(HOSTOBJCOPY) || echo ob
 HOSTRANLIB	:= $(shell which $(HOSTRANLIB) || type -p $(HOSTRANLIB) || echo ranlib)
 HOSTCC_VERSION	:= $(shell $(HOSTCC_NOCCACHE) --version | \
 		   $(SED) -n -r 's/^.* ([0-9]*)\.([0-9]*)\.([0-9]*)[ ]*.*/\1 \2/p')
-HOSTUTC		:= $(shell date -u)
+# UTC time in ISO 8601 format:
+HOSTUTC		:= $(shell date -Iseconds -u)
 HOSTNAME	:= $(shell hostname -s)
 HOSTUSER	:= $(shell whoami)