diff options
author | 2024-07-19 09:25:38 +0900 | |
---|---|---|
committer | 2024-07-19 09:26:36 +0900 | |
commit | 51d3a6d2d3f85ac2014f3988a1f1975fe1a1a497 (patch) | |
tree | ed6b6a9550325297cb5c8b95ae0b359d4cf4a6cf /scripts/gen_build_prop.py | |
parent | c404b2b4d1556cfb0e56379c32464dfc75e4c66f (diff) |
Fix DISPLAY_BUILD_NUMBER
The dot was accidentally removed.
Bug: 353425495
Test: build
Change-Id: Id0c08f3c98d5b2f56e49180baf98bb8847f6bebd
Diffstat (limited to 'scripts/gen_build_prop.py')
-rw-r--r-- | scripts/gen_build_prop.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/gen_build_prop.py b/scripts/gen_build_prop.py index 799e00b19..9ea56cbd2 100644 --- a/scripts/gen_build_prop.py +++ b/scripts/gen_build_prop.py @@ -188,7 +188,7 @@ def generate_build_info(args): # Dev. branches should have DISPLAY_BUILD_NUMBER set if config["DisplayBuildNumber"]: - print(f"ro.build.display.id?={config['BuildId']} {config['BuildNumber']} {config['BuildKeys']}") + print(f"ro.build.display.id?={config['BuildId']}.{config['BuildNumber']} {config['BuildKeys']}") else: print(f"ro.build.display.id?={config['BuildId']} {config['BuildKeys']}") else: |