Changing android.arch or android.api does not trigger the appropriate re-build.

[brentpicasso]

If android.arch or android.api is changed and build is run again, it does not pick up the changes.

a clean must be performed before the changes are reflected.

Expected: the changes should be detected and appropriate artifacts should be re-built.

[inclement]

Thanks for the report. For general reference if anyone is looking at this:

• android.arch should go in the dist_info.json and used to separate dists. In fact, we should automatically create multiple dists with the arch in the name
• I think the android.api thing is just a bug, because the android API is hardcoded in one of the config files within the dist. There's an old issue about this. I don't think this is actually necessary, so it should be possible to build for multiple android apis from a single dist.