From bd873b48d02c004013ae3be4f09a21b9fe3c49ea Mon Sep 17 00:00:00 2001 From: Mr Chen Date: Fri, 29 Nov 2024 01:16:13 +0800 Subject: [PATCH] Update readline.sh --- plugins/php/versions/common/readline.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/plugins/php/versions/common/readline.sh b/plugins/php/versions/common/readline.sh index bde833361..6390b69fa 100755 --- a/plugins/php/versions/common/readline.sh +++ b/plugins/php/versions/common/readline.sh @@ -62,7 +62,7 @@ Install_lib() OPTIONS="$OPTIONS --build=aarch64-unknown-linux-gnu --host=aarch64-unknown-linux-gnu" fi - OPTIONS="$OPTIONS --with-libedit=${serverPath}/lib/libedit" + OPTIONS="$OPTIONS --with-libedit=${serverPath}/lib/libedit" $serverPath/php/$version/bin/phpize ./configure --with-php-config=$serverPath/php/$version/bin/php-config $OPTIONS