Update readline.sh

5 months ago · bd873b48d0
parent 37e3850b43
commit bd873b48d0
1 changed files with 1 additions and 1 deletions
--- 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