diff options
Diffstat (limited to 'lang/php5/files/patch-configure.in')
| -rw-r--r-- | lang/php5/files/patch-configure.in | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lang/php5/files/patch-configure.in b/lang/php5/files/patch-configure.in index cb22e3f33844..7e735cdeb2a7 100644 --- a/lang/php5/files/patch-configure.in +++ b/lang/php5/files/patch-configure.in @@ -53,7 +53,7 @@ PHP_SUBST(install_targets) -PHP_INSTALL_HEADERS([Zend/ TSRM/ include/ main/ main/streams/ regex/]) -+PHP_INSTALL_HEADERS([Zend/ TSRM/ main/ main/streams/ regex/ ext/spl/]) ++PHP_INSTALL_HEADERS([Zend/ TSRM/ main/ main/streams/ regex/]) PHP_ADD_SOURCES(TSRM, TSRM.c tsrm_strtok_r.c tsrm_virtual_cwd.c) |