change looks good to me.
Will ask also Paul to chime in since he knows better android-build, but I guess that as long as the Android build tools interpret BUILD_TINY_ANDROID correctly, it can be tested as soon as the code is merged. The only thing that I'm not sure about is if we have to specify BUILD_TINY_ANDROID in the make command (function build_commands), or if it just picks it up from the environment.
Hi,
change looks good to me.
Will ask also Paul to chime in since he knows better android-build, but I guess that as long as the Android build tools interpret BUILD_TINY_ANDROID correctly, it can be tested as soon as the code is merged. The only thing that I'm not sure about is if we have to specify BUILD_TINY_ANDROID in the make command (function build_commands), or if it just picks it up from the environment.