Check that wget works

pull/387/head
Michele Locati 2021-07-12 16:48:27 +02:00
parent a619af25fd
commit 838f8615b5
No known key found for this signature in database
GPG Key ID: 98B7CE2E7234E28B
1 changed files with 2 additions and 0 deletions

View File

@ -4,9 +4,11 @@
set -o errexit set -o errexit
set -o nounset set -o nounset
wget -qO /dev/null https://www.google.com && echo wget works
apk update apk update
apk del libzip apk del libzip
apk add ebook-tools # <- uses libzip apk add ebook-tools # <- uses libzip
CI=true ./install-php-extensions zip # <- uses libzip CI=true ./install-php-extensions zip # <- uses libzip
apk del ebook-tools apk del ebook-tools
php --ri zip php --ri zip
wget -qO /dev/null https://www.google.com && echo wget works