Merge branch 'freeminer' into 'master'

Fix build of Freeminer

again. now leveldb fail fix
https://github.com/google/leveldb/pull/341

See merge request !1188
This commit is contained in:
Daniel Martí 2016-02-02 20:12:52 +00:00
commit 9325e1b6d8

View file

@ -68,7 +68,7 @@ Build:0.4.13.7.48,48
break; done
Build:0.4.13.7.56,56
commit=2a5a16218de9b737b2d189d7b39e07371da41ea9
commit=076502514442e5af09d6935cf42d47db515c3c4c
subdir=build/android
submodules=yes
output=bin/freeminer-release-unsigned.apk
@ -78,7 +78,7 @@ Build:0.4.13.7.56,56
break; done
Build:0.4.13.7.56,57
commit=2a5a16218de9b737b2d189d7b39e07371da41ea9
commit=076502514442e5af09d6935cf42d47db515c3c4c
subdir=build/android
submodules=yes
output=bin/freeminer-release-unsigned.apk