commit 51d142c32885a4b688aabca74e0dd8d2cb61e20f
author Pierre-Hugues Husson <phh@phh.me> Mon Feb 12 19:56:28 2018 +0100
committer Pierre-Hugues Husson <phh@phh.me> Mon Feb 12 19:56:28 2018 +0100
tree a80be32a395ce7558c55d806f546cf1fd643528a
parent 9f92f9e2334f30263310aa2cbb52ad152537500f

Include more properties override. fingerprint makes it possible to update databases!

base.mk

diff --git a/base.mk b/base.mk
index e01c763..d6ba4f0 100644
--- a/base.mk
+++ b/base.mk
@@ -20,4 +20,7 @@
 #from /system/etc/prop.default, then /vendor/build.prop, then /system/build.prop
 #So we need to set our props in prop.default
 PRODUCT_SYSTEM_DEFAULT_PROPERTIES += \
-	ro.build.version.sdk=$(PLATFORM_SDK_VERSION)
+	ro.build.version.sdk=$(PLATFORM_SDK_VERSION) \
+	ro.build.version.codename=$(PLATFORM_VERSION_CODENAME) \
+	ro.build.version.all_codenames=$(PLATFORM_VERSION_ALL_CODENAMES) \
+	ro.build.fingerprint=$(BUILD_FINGERPRINT)