Merge pull request #12 from b1rdex/patch-1

Fix zip extension deps for 7.3
pull/13/head
Michele Locati 2018-12-12 09:58:29 +01:00 committed by GitHub
commit 4235706f7b
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
2 changed files with 2 additions and 2 deletions

View File

@ -53,4 +53,4 @@ xdebug 5.6 7.0 7.1 7.2 7.3
xmlrpc 5.6 7.0 7.1 7.2 7.3 xmlrpc 5.6 7.0 7.1 7.2 7.3
xsl 5.6 7.0 7.1 7.2 7.3 xsl 5.6 7.0 7.1 7.2 7.3
yaml 5.6 7.0 7.1 7.2 7.3 yaml 5.6 7.0 7.1 7.2 7.3
zip 5.6 7.0 7.1 7.2 zip 5.6 7.0 7.1 7.2 7.3

View File

@ -257,7 +257,7 @@ getRequiredAptPackages () {
getRequiredAptPackages_result="${getRequiredAptPackages_result} libyaml-dev" getRequiredAptPackages_result="${getRequiredAptPackages_result} libyaml-dev"
;; ;;
zip) zip)
getRequiredAptPackages_result="${getRequiredAptPackages_result} zlib1g-dev" getRequiredAptPackages_result="${getRequiredAptPackages_result} libzip-dev"
;; ;;
esac esac
done done