From 3fc5562fef1d239fad08adcd77ce9f9382c7e385 Mon Sep 17 00:00:00 2001 From: Karsten Dambekalns Date: Mon, 13 Nov 2023 07:16:04 +0100 Subject: [PATCH] Build PHP 8.3.0RC6 from "eric", not "jakub" --- root-files/build.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/root-files/build.sh b/root-files/build.sh index c242a1b..b18d9c2 100755 --- a/root-files/build.sh +++ b/root-files/build.sh @@ -119,7 +119,7 @@ build_compile_php() { if [[ "${PHP_VERSION}" =~ ^8.3 ]]; then # different source and replace - separator in version against what PHP uses (i.e. nothing) - php_source_url="https://downloads.php.net/~jakub/php-${PHP_VERSION/-/}.tar.gz" + php_source_url="https://downloads.php.net/~eric/php-${PHP_VERSION/-/}.tar.gz" else php_source_url="https://www.php.net/distributions/php-${PHP_VERSION}.tar.gz" fi