X-Git-Url: https://git.m6w6.name/?p=m6w6%2Fext-psi;a=blobdiff_plain;f=config.m4;h=d621ffc5766e10a6a9163ec1978f5067aa074cfd;hp=4bf96d40210c1457d46755b54bfe39ce272d4df3;hb=e48a77547645d7985d11880f463d811bbe10da6a;hpb=4174d499fe105c6d8bd76d265e28e07f0db08b55 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], [ ], [ ])