diff options
author | Denis 'GNUtoo' Carikli <GNUtoo@cyberdimension.org> | 2019-10-27 17:26:57 +0200 |
---|---|---|
committer | Denis 'GNUtoo' Carikli <GNUtoo@cyberdimension.org> | 2020-01-04 01:44:04 +0100 |
commit | e82a9b354222d93f711956f8fd3d703804dbad41 (patch) | |
tree | 26717fded9d892a6a32906030a9a1a181ce77dc0 | |
parent | 3a1da60267cd397e466f7ceef0432cea41122590 (diff) | |
download | vendor_replicant-e82a9b354222d93f711956f8fd3d703804dbad41.tar.gz vendor_replicant-e82a9b354222d93f711956f8fd3d703804dbad41.tar.bz2 vendor_replicant-e82a9b354222d93f711956f8fd3d703804dbad41.zip |
Indicate the provenance of the images
This change is based on work by Joonas Kylmälä.
Signed-off-by: Denis 'GNUtoo' Carikli <GNUtoo@cyberdimension.org>
-rw-r--r-- | config/common.mk | 2 | ||||
-rwxr-xr-x | sign-build | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/config/common.mk b/config/common.mk index a30824ac..8402171b 100644 --- a/config/common.mk +++ b/config/common.mk @@ -262,7 +262,7 @@ PRODUCT_VERSION_MAJOR = 6 PRODUCT_VERSION_MINOR = 0 PRODUCT_VERSION_MAINTENANCE = 1 -REPLICANT_VERSION := "replicant-6.0" +REPLICANT_VERSION := "replicant-6.0-dev" PRODUCT_PROPERTY_OVERRIDES += \ ro.cm.version=$(REPLICANT_VERSION) \ @@ -42,7 +42,7 @@ fi TARGET_DIR=$OUT_DIR/target/product/$DEVICE TARGET_FILES=$TARGET_DIR/obj/PACKAGING/target_files_intermediates/*-target_files-*.zip DIST_OUT_DIR=$OUT_DIR/"dist"/$DEVICE -RELEASE=replicant-6.0 +RELEASE=replicant-6.0-dev read_var() { local prompt="$1" |