From e5df7969dddbf32434d1e8761955056d79d6cd85 Mon Sep 17 00:00:00 2001 From: yggverse Date: Wed, 24 Jul 2024 16:23:55 +0300 Subject: [PATCH] fix comment --- INSTALL.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/INSTALL.sh b/INSTALL.sh index 39322ff9..6b77879d 100755 --- a/INSTALL.sh +++ b/INSTALL.sh @@ -195,7 +195,7 @@ cd "$DIR_PHP_GTK_SOURCE" ## Get repository updates git pull -## Replace installation paths in PHP-CPP Makefile +## Replace installation paths in PHP-GTK Makefile sed -i "/EXTENSION_DIR = /c\ EXTENSION_DIR = \"$($DIR_PHP_SRC_TARGET/bin/php-config --extension-dir)\"" "$DIR_PHP_GTK_SOURCE/Makefile"