diff options
Diffstat (limited to 'util/ci')
| -rw-r--r-- | util/ci/common.sh | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/util/ci/common.sh b/util/ci/common.sh index db525a61c..3015680c4 100644 --- a/util/ci/common.sh +++ b/util/ci/common.sh @@ -10,7 +10,8 @@ install_linux_deps() { if [[ "$1" == "--no-irr" ]]; then shift else - wget "https://github.com/minetest/irrlicht/releases/download/1.9.0mt7/ubuntu-bionic.tar.gz" + local ver=$(cat misc/irrlichtmt_tag.txt) + wget "https://github.com/minetest/irrlicht/releases/download/$ver/ubuntu-bionic.tar.gz" sudo tar -xaf ubuntu-bionic.tar.gz -C /usr/local fi |