diff options
author | J0WI <J0WI@users.noreply.github.com> | 2020-10-30 17:26:53 +0100 |
---|---|---|
committer | J0WI <J0WI@users.noreply.github.com> | 2020-10-30 17:26:53 +0100 |
commit | 83503a43c95f49be6ea5f461ef1e06e9a6e93733 (patch) | |
tree | 51673c784eabb08913c5b7e4d9d5708ebd6e7223 /update.sh | |
parent | e95023790cc36274053af7930831a9aecbf32efd (diff) |
Remove 17.0
Diffstat (limited to 'update.sh')
-rwxr-xr-x | update.sh | 5 |
1 files changed, 2 insertions, 3 deletions
@@ -4,7 +4,6 @@ set -eo pipefail declare -A php_version=( [default]='7.4' [18.0]='7.3' - [17.0]='7.3' ) declare -A cmd=( @@ -78,7 +77,7 @@ variants=( fpm-alpine ) -min_version='17.0' +min_version='18.0' # version_greater_or_equal A B returns whether A >= B function version_greater_or_equal() { @@ -144,7 +143,7 @@ function create_variant() { esac case "$version" in - 17.*|18.* ) + 18.* ) sed -ri -e ' \@bcmath@d; s/'"redis-${pecl_versions[redis]}"'/redis-4.3.0/g; |