From: Michael Wallner <mike@php.net>
Date: Wed, 18 Apr 2018 11:46:50 +0000 (+0200)
Subject: maintainer mode only makes deps now
X-Git-Url: https://git.m6w6.name/?a=commitdiff_plain;h=4bbbf7399c85ff343efa9349113e4cbc59cf5220;p=m6w6%2Fext-psi

maintainer mode only makes deps now
---

diff --git a/config.m4 b/config.m4
index 4bf96d4..d621ffc 100644
--- a/config.m4
+++ b/config.m4
@@ -27,9 +27,7 @@ if test "$PHP_PSI" != no; then
 	PHP_ARG_ENABLE(psi-maintainer-mode, whether to enable maintainer mode,
 	[  --enable-psi-maintainer-mode
                           PSI: enable maintainer mode
-                           . parallel configure
-                           . make dependencies
-                           . extra debug wrappers], [no], [no])
+                           . make dependencies], [no], [no])
 
 	PHP_ARG_WITH(psi-libjit, where to find libjit,
 	[  --with-psi-libjit=DIR   PSI: path to libjit], [ ], [ ])