diff options
Diffstat (limited to '.ci')
| -rwxr-xr-x | .ci/install.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.ci/install.sh b/.ci/install.sh index d1e6b61..6550636 100755 --- a/.ci/install.sh +++ b/.ci/install.sh @@ -37,7 +37,7 @@ else sudo apt-get update set -x - wget -q0 https://ftpmirror.gnu.org/autoconf/autoconf-2.71.tar.gz | tar -xvzf - + wget -qO https://ftpmirror.gnu.org/autoconf/autoconf-2.71.tar.gz | tar -xvzf - (cd autoconf-2.17; ./configure; make; make install) case $HOST in |