diff options
| -rw-r--r-- | include/image.mk | 1 | ||||
| -rwxr-xr-x | scripts/json_add_image_info.py | 1 |
2 files changed, 2 insertions, 0 deletions
diff --git a/include/image.mk b/include/image.mk index de08d04aa4..eabc9ece0b 100644 --- a/include/image.mk +++ b/include/image.mk @@ -563,6 +563,7 @@ define Device/Build/image @mkdir -p $$(shell dirname $$@) DEVICE_ID="$(DEVICE_NAME)" \ BIN_DIR="$(BIN_DIR)" \ + SOURCE_DATE_EPOCH=$(SOURCE_DATE_EPOCH) \ IMAGE_NAME="$(IMAGE_NAME)" \ IMAGE_TYPE=$(word 1,$(subst ., ,$(2))) \ IMAGE_PREFIX="$(IMAGE_PREFIX)" \ diff --git a/scripts/json_add_image_info.py b/scripts/json_add_image_info.py index 768bb10254..ac907c777c 100755 --- a/scripts/json_add_image_info.py +++ b/scripts/json_add_image_info.py @@ -44,6 +44,7 @@ image_info = { "target": "{}/{}".format(getenv("TARGET"), getenv("SUBTARGET")), "version_code": getenv("VERSION_CODE"), "version_number": getenv("VERSION_NUMBER"), + "source_date_epoch": getenv("SOURCE_DATE_EPOCH"), "profiles": { device_id: { "image_prefix": getenv("IMAGE_PREFIX"), |