From 4bbbf7399c85ff343efa9349113e4cbc59cf5220 Mon Sep 17 00:00:00 2001
From: Michael Wallner <mike@php.net>
Date: Wed, 18 Apr 2018 13:46:50 +0200
Subject: [PATCH] maintainer mode only makes deps now

---
 config.m4 | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

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], [ ], [ ])
-- 
2.30.2