maintainer mode only makes deps now
authorMichael Wallner <mike@php.net>
Wed, 18 Apr 2018 11:46:50 +0000 (13:46 +0200)
committerMichael Wallner <mike@php.net>
Wed, 18 Apr 2018 11:46:50 +0000 (13:46 +0200)
config.m4

index 4bf96d40210c1457d46755b54bfe39ce272d4df3..d621ffc5766e10a6a9163ec1978f5067aa074cfd 100644 (file)
--- 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], [ ], [ ])