serenity/Ports/php/patches/configure-pharcmd.patch
2022-01-08 00:45:49 +01:00

13 lines
400 B
Diff

--- php-8.1.1/configure 2022-01-07 23:44:48.117187609 +0100
+++ php-8.1.1-patched/configure 2022-01-07 23:47:02.228957328 +0100
@@ -96803,8 +96803,8 @@
CXXFLAGS="$CXXFLAGS $standard_libtool_flag \$(PROF_FLAGS)"
if test "$PHP_PHAR" != "no" && test "$PHP_CLI" != "no"; then
- pharcmd=pharcmd
- pharcmd_install=install-pharcmd
+ pharcmd=
+ pharcmd_install=
else
pharcmd=
pharcmd_install=