From: Michael Wallner <mike@php.net>
Date: Wed, 3 Feb 2016 12:49:34 +0000 (+0100)
Subject: too late in the game
X-Git-Url: https://git.m6w6.name/?a=commitdiff_plain;h=06a0a00420a9efb8775ee7a21c66e007c0511b64;p=m6w6%2Fext-psi

too late in the game
---

diff --git a/config.m4 b/config.m4
index 0ff86b0..b54c98e 100644
--- 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