diff options
author | Dirk Hohndel <dirk@hohndel.org> | 2020-12-03 13:40:08 -0800 |
---|---|---|
committer | Dirk Hohndel <dirk@hohndel.org> | 2020-12-17 09:17:54 -0800 |
commit | 4070c765015d8ba1a4eef5ccb31e689f13ace342 (patch) | |
tree | f1f591ac6959ca4555ac8e5f269d0c5fcd3a538b /.github | |
parent | 6439a9b4410fe6c884c1494ded51422a214b5775 (diff) | |
download | subsurface-4070c765015d8ba1a4eef5ccb31e689f13ace342.tar.gz |
build-system/Android: we need to collect the ABIs earlier
That's what happens if you develop a script like this sequentially.
We need to have the ABIs picked in order to build googlemaps, otherwise
this fails with the build container as that only includes the ARM
libraries and tools.
Signed-off-by: Dirk Hohndel <dirk@hohndel.org>
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions