2017-11-14 16:42:30 +01:00
|
|
|
#!/bin/bash
|
|
|
|
|
|
|
|
partition="$1"
|
|
|
|
|
|
|
|
if [ "$#" -ne 1 ]; then
|
2018-08-15 13:11:55 +02:00
|
|
|
echo "Usage: $0 <partition>" 1>&2
|
2017-11-14 16:42:30 +01:00
|
|
|
exit 1
|
|
|
|
fi
|
|
|
|
|
2018-08-15 13:11:55 +02:00
|
|
|
echo "# begin common build properties"
|
|
|
|
echo "# autogenerated by $0"
|
2017-11-14 16:42:30 +01:00
|
|
|
|
2018-08-15 13:11:55 +02:00
|
|
|
echo "ro.${partition}.build.date=`$DATE`"
|
|
|
|
echo "ro.${partition}.build.date.utc=`$DATE +%s`"
|
|
|
|
echo "ro.${partition}.build.fingerprint=$BUILD_FINGERPRINT"
|
2017-11-14 16:42:30 +01:00
|
|
|
echo "ro.${partition}.build.id=$BUILD_ID"
|
2018-08-15 13:11:55 +02:00
|
|
|
echo "ro.${partition}.build.tags=$BUILD_VERSION_TAGS"
|
|
|
|
echo "ro.${partition}.build.type=$TARGET_BUILD_TYPE"
|
2017-11-14 16:42:30 +01:00
|
|
|
echo "ro.${partition}.build.version.incremental=$BUILD_NUMBER"
|
|
|
|
echo "ro.${partition}.build.version.release=$PLATFORM_VERSION"
|
2018-08-15 13:11:55 +02:00
|
|
|
echo "ro.${partition}.build.version.sdk=$PLATFORM_SDK_VERSION"
|
2017-11-14 16:42:30 +01:00
|
|
|
|
2018-08-15 13:11:55 +02:00
|
|
|
echo "ro.product.${partition}.brand=$PRODUCT_BRAND"
|
2019-03-12 17:35:31 +01:00
|
|
|
echo "ro.product.${partition}.device=$PRODUCT_DEVICE"
|
2017-11-14 16:42:30 +01:00
|
|
|
echo "ro.product.${partition}.manufacturer=$PRODUCT_MANUFACTURER"
|
|
|
|
echo "ro.product.${partition}.model=$PRODUCT_MODEL"
|
|
|
|
echo "ro.product.${partition}.name=$PRODUCT_NAME"
|
|
|
|
|
2018-08-15 13:11:55 +02:00
|
|
|
echo "# end common build properties"
|