From 211f97e73f5141e9d141d3bb958b0a4fd5d14df7 Mon Sep 17 00:00:00 2001 From: Michele Locati Date: Tue, 11 Apr 2023 18:58:23 +0200 Subject: [PATCH] ion extension: install ion-c 1.1.2 instead of 1.1.1 (#725) --- install-php-extensions | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/install-php-extensions b/install-php-extensions index 9634c52..e5ab625 100755 --- a/install-php-extensions +++ b/install-php-extensions @@ -2800,7 +2800,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.1 https://github.com/amzn/ion-c.git "$installRemoteModule_src/ion" + git clone -q -c advice.detachedHead=false --depth 1 --branch v1.1.2 https://github.com/amzn/ion-c.git "$installRemoteModule_src/ion" ( cd "$installRemoteModule_src/ion" git submodule init -q