diff options
| author |  Jan Mulder <jlmulder@xs4all.nl> | 2018-11-24 10:03:50 +0100 |
|---|---|---|
| committer |  Dirk Hohndel <dirk@hohndel.org> | 2018-12-30 11:20:34 -0800 |
| commit | 6ea50fcfb776ef88ad452778a1e30105334dfb72 (patch) | |
| tree | c5d8b2f7f3de3cbe9e39af487be622051a673f1d /profile-widget | |
| parent | f11f4dc139044c1717f05899c89d2f2436a0f910 (diff) | |
| download | subsurface-6ea50fcfb776ef88ad452778a1e30105334dfb72.tar.gz | |
Android build: set newer versions and parameterize ANDROID_PLATFORM
Hard coding desired ANDROID_PLATFORM on multiple places is simply bad.
Fix this. Further, set the variables to a much newer state.
CAVEAT: this will likely break android build, so be careful on
bisecting. All fixed in next, related commits.
Signed-off-by: Jan Mulder <jlmulder@xs4all.nl>
Diffstat (limited to 'profile-widget')
0 files changed, 0 insertions, 0 deletions