diff options
| author | Juan Linietsky <reduzio@gmail.com> | 2016-07-10 13:57:17 -0300 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2016-07-10 13:57:17 -0300 |
| commit | d279d060e18fba43c83c77b0f91dcf2f6bfb3fd2 (patch) | |
| tree | 6f867fe9eb9b6620fa5da18fcf99e4207b04af49 /platform/android/export/export.cpp | |
| parent | 8462127aa904eb394f86240d18ad0d488011b1ba (diff) | |
| parent | e7b2626707457fe1d6af36da3d7a1ec3863cd52f (diff) | |
Merge pull request #5077 from RandomShaper/improve-android-build
Improve Android build
Diffstat (limited to 'platform/android/export/export.cpp')
| -rw-r--r-- | platform/android/export/export.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/platform/android/export/export.cpp b/platform/android/export/export.cpp index 872f047c95..83f7292716 100644 --- a/platform/android/export/export.cpp +++ b/platform/android/export/export.cpp @@ -1166,7 +1166,7 @@ Error EditorExportPlatformAndroid::export_project(const String& p_path, bool p_d skip=true; } - if (file=="lib/armeabi/libgodot_android.so" && !export_arm) { + if (file.match("lib/armeabi*/libgodot_android.so") && !export_arm) { skip=true; } |