diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2023-11-20 23:23:17 +0100 |
|---|---|---|
| committer | Rémi Verschelde <rverschelde@gmail.com> | 2023-11-20 23:43:58 +0100 |
| commit | eea33b413361ef023cddfaa03d9f5acb60538006 (patch) | |
| tree | d895652d1af313af3f0b32e9a2798ffd2b256311 /misc/scripts/check_get_file_list.py | |
| parent | 7cd79e4cc64ce484ba04d1919da7d4cd39aab5ff (diff) | |
| download | redot-cpp-eea33b413361ef023cddfaa03d9f5acb60538006.tar.gz | |
CI: Install Android NDK r23c explicitly
It has just been removed from the Ubuntu 20.04 default install,
breaking our CI setup.
Also, sets Emscripten version to 3.1.39, as done upstream.
Newer versions actually break dynamic library support.
Diffstat (limited to 'misc/scripts/check_get_file_list.py')
0 files changed, 0 insertions, 0 deletions