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 ee9885c8f7..1c37d5839f 100644 --- a/include/image.mk +++ b/include/image.mk @@ -532,6 +532,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_FILESYSTEM="$(1)" \ diff --git a/scripts/json_add_image_info.py b/scripts/json_add_image_info.py index 9a640ad468..23d816916c 100755 --- a/scripts/json_add_image_info.py +++ b/scripts/json_add_image_info.py @@ -31,6 +31,7 @@ image_info = { "target": "{}/{}".format(getenv("TARGET"), getenv("SUBTARGET")), "version_code": getenv("VERSION_CODE"), "version_number": getenv("VERSION_NUMBER"), + "source_date_epoch": int(getenv("SOURCE_DATE_EPOCH")), "profiles": { device_id: { "image_prefix": getenv("IMAGE_PREFIX"), |