projects
/
m6w6
/
ext-psi
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
|
github
raw
|
patch
| inline |
side by side
(parent:
ee06f0b
)
maintainer mode only makes deps now
author
Michael Wallner
<mike@php.net>
Wed, 18 Apr 2018 11:46:50 +0000
(13:46 +0200)
committer
Michael Wallner
<mike@php.net>
Wed, 18 Apr 2018 11:46:50 +0000
(13:46 +0200)
config.m4
patch
|
blob
|
history
diff --git
a/config.m4
b/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], [ ], [ ])