From 19fef35c08a539686e445cd242152e86d5d47a31 Mon Sep 17 00:00:00 2001 From: Michele Locati Date: Thu, 23 Feb 2023 22:48:06 +0100 Subject: [PATCH] ion extension: install ion-c 1.1.1 instead of 1.1.0 (#704) --- install-php-extensions | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/install-php-extensions b/install-php-extensions index 39de94f..8781cd7 100755 --- a/install-php-extensions +++ b/install-php-extensions @@ -2794,7 +2794,7 @@ installRemoteModule() { if ! test -f /usr/local/lib/libionc.so || ! test -f /usr/local/include/ionc/ion.h; then echo 'Installing ion-c... ' installRemoteModule_src="$(mktemp -p /tmp/src -d)" - git clone -q -c advice.detachedHead=false --depth 1 --branch v1.1.0 https://github.com/amzn/ion-c.git "$installRemoteModule_src/ion" + git clone -q -c advice.detachedHead=false --depth 1 --branch v1.1.1 https://github.com/amzn/ion-c.git "$installRemoteModule_src/ion" ( cd "$installRemoteModule_src/ion" git submodule init -q