Use lua mirror site as backup to download sources

edo9300 · Dec 9, 2023 · 6384b7a · 6384b7a
1 parent 0c003e9
commit 6384b7a
Showing 1 changed file with 4 additions and 1 deletion.
diff --git a/travis/install-lua.sh b/travis/install-lua.sh
@@ -1,4 +1,4 @@
-#!/usr/bin/env bash
+#!/bin/sh
 
 set -euxo pipefail
 
@@ -19,6 +19,9 @@ if [[ "$TARGET_OS" == "windows" ]]; then
 else
 	cd /tmp
 	curl --retry 5 --connect-timeout 30 --location --remote-header-name --remote-name https://www.lua.org/ftp/lua-5.3.5.tar.gz
+	if [ -s lua-5.3.5.tar.gz ]; then
+		curl --retry 5 --connect-timeout 30 --location --remote-header-name --remote-name https://www.tecgraf.puc-rio.br/lua/mirror/ftp/lua-5.3.5.tar.gz
+	fi
 	tar xf lua-5.3.5.tar.gz
 	cd lua-5.3.5
 	if [[ -n ${LUA_APICHECK:-""} ]]; then