From 317851d98224ced3df94b603a319a5b51cc74d16 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?=E8=80=97=E5=AD=90?= Date: Mon, 14 Aug 2023 00:51:10 +0800 Subject: [PATCH] fix: php pdo_pgsql install --- scripts/php_extensions/pdo_pgsql.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/scripts/php_extensions/pdo_pgsql.sh b/scripts/php_extensions/pdo_pgsql.sh index dd847eb2..a6920906 100644 --- a/scripts/php_extensions/pdo_pgsql.sh +++ b/scripts/php_extensions/pdo_pgsql.sh @@ -33,7 +33,7 @@ Install() { cd /www/server/php/${phpVersion}/src/ext/pdo_pgsql /www/server/php/${phpVersion}/bin/phpize - ./configure --with-php-config=/www/server/php/${phpVersion}/bin/php-config --with-pdo-pgsql=/usr/pgsql-15 + ./configure --with-php-config=/www/server/php/${phpVersion}/bin/php-config --with-pdo-pgsql=/www/server/postgresql make if [ "$?" != "0" ]; then echo -e $HR