修改android系统设备信息

      在android系统开发的过程中，肯定会修改设备信息，具体如下：

      在src/build/tools/脚本文件中

echo "=$BUILD_ID"
echo "=$BUILD_DISPLAY_ID"
echo "=$BUILD_NUMBER"
echo "=$PLATFORM_SDK_VERSION"
echo "=$PLATFORM_VERSION_CODENAME"
echo "=$PLATFORM_VERSION""+F2"
echo "=`date`"
echo "=`date +%s`"
echo "=$TARGET_BUILD_TYPE"
echo "=$USER"
echo "=`hostname`"
echo "=$BUILD_VERSION_TAGS"
echo "=$PRODUCT_MODEL"
echo "=$PRODUCT_BRAND"
echo "=$PRODUCT_NAME"

这些又都是属性系统中变量，在应用程序中会直接获取显示。

其中一些变量又是定义在其他的mk文件中