Update readline.sh

1 year ago · c920b46a13
parent 338e64d295
commit c920b46a13
1 changed files with 2 additions and 0 deletions
--- a/plugins/php/versions/common/readline.sh
+++ b/plugins/php/versions/common/readline.sh
@ -60,6 +60,8 @@ Install_lib()
 			OPTIONS="$OPTIONS --build=aarch64-unknown-linux-gnu --host=aarch64-unknown-linux-gnu"
 		fi

+		OPTIONS="$OPTIONS --with-readline"
+
 		$serverPath/php/$version/bin/phpize
 		./configure --with-php-config=$serverPath/php/$version/bin/php-config $OPTIONS
 		make clean && make && make install && make clean