Fix DISPLAY_BUILD_NUMBER

The dot was accidentally removed.

Bug: 353425495
Test: build
(cherry picked from commit 51d3a6d2d3f85ac2014f3988a1f1975fe1a1a497)
(cherry picked from https://googleplex-android-review.googlesource.com/q/commit:e4fa1844b15d5eeecd2417477741d9b845c74b7e)
Merged-In: Id0c08f3c98d5b2f56e49180baf98bb8847f6bebd
Change-Id: Id0c08f3c98d5b2f56e49180baf98bb8847f6bebd
diff --git a/scripts/buildinfo.py b/scripts/buildinfo.py
index e4fb0da..45c9bc3 100755
--- a/scripts/buildinfo.py
+++ b/scripts/buildinfo.py
@@ -97,7 +97,7 @@
 
       # Dev. branches should have DISPLAY_BUILD_NUMBER set
       if option.display_build_number:
-        print(f"ro.build.display.id?={option.build_id} {build_number} {option.build_keys}")
+        print(f"ro.build.display.id?={option.build_id}.{build_number} {option.build_keys}")
       else:
         print(f"ro.build.display.id?={option.build_id} {option.build_keys}")
     else: