Created by: zhaoyang-star

[背景] 耗时分析开关 PROFILE 只支持 full_publish，tiny_publish 下打开 PROFILE 开关报错。 [解决方法] 修改若干编译文件，使得 PROFILE 同时支持 tiny_publish 编译。 [测试方法]

./lite/tools/build.sh \
    --arm_os=android \
    --arm_abi=armv7 \
    --arm_lang=clang \
    --android_stl=c++_static \
    --build_extra=ON \
    --with_log=ON \
    --with_profile=ON \
    tiny_publish

备注：该 PR 与 PR #4029 功能一致。