diff options
Diffstat (limited to '132.patch')
| -rw-r--r-- | 132.patch | 28 |
1 files changed, 28 insertions, 0 deletions
diff --git a/132.patch b/132.patch new file mode 100644 index 0000000..ebdd961 --- /dev/null +++ b/132.patch @@ -0,0 +1,28 @@ +From 735c5794a003124f5924753472b190a2cb332824 Mon Sep 17 00:00:00 2001 +From: Remi Collet <remi@remirepo.net> +Date: Thu, 23 May 2019 15:29:45 +0200 +Subject: [PATCH] SPL is always there + +--- + ext/php_driver.h | 8 ++------ + 1 file changed, 2 insertions(+), 6 deletions(-) + +diff --git a/ext/php_driver.h b/ext/php_driver.h +index 10680d22..bc42b6fc 100644 +--- a/ext/php_driver.h ++++ b/ext/php_driver.h +@@ -46,12 +46,8 @@ typedef int pid_t; + # error PHP 5.6.0 or later is required in order to build the driver + #endif + +-#if HAVE_SPL +-# include <ext/spl/spl_iterators.h> +-# include <ext/spl/spl_exceptions.h> +-#else +-# error SPL must be enabled in order to build the driver +-#endif ++#include <ext/spl/spl_iterators.h> ++#include <ext/spl/spl_exceptions.h> + + #include "version.h" + |