diff options
Diffstat (limited to 'platform/android/core-files.json')
| -rw-r--r-- | platform/android/core-files.json | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/platform/android/core-files.json b/platform/android/core-files.json index ba56695bdd..e35c7b5ffd 100644 --- a/platform/android/core-files.json +++ b/platform/android/core-files.json @@ -85,6 +85,7 @@ "platform/android/src/thread.cpp", "platform/android/src/timer.cpp", "platform/android/src/unaccent.cpp", + "platform/android/src/android_thread_pool_provider.cpp", "platform/default/src/mbgl/gl/headless_backend.cpp", "platform/default/src/mbgl/gl/headless_frontend.cpp", "platform/default/src/mbgl/map/map_snapshotter.cpp", |