diff options
author | lains <lains@caramail.com> | 2019-08-20 17:06:27 +0200 |
---|---|---|
committer | Pierre GRANDIN <pgrandin@users.noreply.github.com> | 2019-08-20 09:06:27 -0600 |
commit | e7a70e9dc04b94b47fb7786aab4edfd25132c70f (patch) | |
tree | 3b116eb756d018664a3673c574cb9bf3477750d9 /.circleci | |
parent | c2f9838f07a52cc64cb05e9cf95bb378261946d9 (diff) | |
download | navit-e7a70e9dc04b94b47fb7786aab4edfd25132c70f.tar.gz |
Fix: Fix pkgconfig detection, and multiple subsequent build for Android (#833)
* Fixing lib detection based on build host for Android builds
* Fixing workaround according to jandegr's proposal
* Fixing subsequent Android builds (where rename fails because of pre-existing renamed files)
Diffstat (limited to '.circleci')
0 files changed, 0 insertions, 0 deletions