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:
47ef16e
)
too late in the game
author
Michael Wallner
<mike@php.net>
Wed, 3 Feb 2016 12:49:34 +0000
(13:49 +0100)
committer
Michael Wallner
<mike@php.net>
Wed, 3 Feb 2016 12:49:38 +0000
(13:49 +0100)
config.m4
patch
|
blob
|
history
diff --git
a/config.m4
b/config.m4
index 0ff86b0f35073fcf7a04110b40a762a3cd09d950..b54c98ee9373af09a620a01aaa8fd6c2d763783c 100644
(file)
--- a/
config.m4
+++ b/
config.m4
@@
-58,8
+58,6
@@
PHP_ARG_WITH(psi-libffi, where to find libffi,
if test "$PHP_PSI" != no; then
PHP_CONFIGURE_PART(Configuring PSI)
- ifdef([AC_USE_SYSTEM_EXTENSIONS],AC_USE_SYSTEM_EXTENSIONS)
-
PSI_LEMON
PSI_CHECK_LIBJIT
PSI_CHECK_LIBFFI