diff options
| -rwxr-xr-x | scripts/json_add_image_info.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/json_add_image_info.py b/scripts/json_add_image_info.py index 23033f9fc4..4608996f02 100755 --- a/scripts/json_add_image_info.py +++ b/scripts/json_add_image_info.py @@ -44,7 +44,7 @@ file_info = { "target": "{}/{}".format(getenv("TARGET"), getenv("SUBTARGET")), "version_code": getenv("VERSION_CODE"), "version_number": getenv("VERSION_NUMBER"), - "source_date_epoch": getenv("SOURCE_DATE_EPOCH"), + "source_date_epoch": int(getenv("SOURCE_DATE_EPOCH")), "profiles": { device_id: { "image_prefix": getenv("DEVICE_IMG_PREFIX"), |