Skip to content

Commit 2efe366

Browse files
authored
Add zend_worklist.h to PHP_INSTALL_HEADERS (#12571)
Fixes GH-12565
1 parent 411b6fb commit 2efe366

File tree

2 files changed

+3
-2
lines changed

2 files changed

+3
-2
lines changed

configure.ac

+2-1
Original file line numberDiff line numberDiff line change
@@ -1699,7 +1699,8 @@ PHP_INSTALL_HEADERS([Zend/Optimizer], [ \
16991699
zend_func_info.h \
17001700
zend_inference.h \
17011701
zend_optimizer.h \
1702-
zend_ssa.h])
1702+
zend_ssa.h \
1703+
zend_worklist.h])
17031704

17041705
PHP_ADD_SOURCES(TSRM, TSRM.c, -DZEND_ENABLE_STATIC_TSRMLS_CACHE=1)
17051706

win32/build/config.w32

+1-1
Original file line numberDiff line numberDiff line change
@@ -323,7 +323,7 @@ if (VS_TOOLSET && VCVERS >= 1914) {
323323
}
324324

325325
PHP_INSTALL_HEADERS("", "Zend/ TSRM/ main/ main/streams/ win32/");
326-
PHP_INSTALL_HEADERS("Zend/Optimizer", "zend_call_graph.h zend_cfg.h zend_dump.h zend_func_info.h zend_inference.h zend_optimizer.h zend_ssa.h");
326+
PHP_INSTALL_HEADERS("Zend/Optimizer", "zend_call_graph.h zend_cfg.h zend_dump.h zend_func_info.h zend_inference.h zend_optimizer.h zend_ssa.h zend_worklist.h");
327327

328328
STDOUT.WriteBlankLines(1);
329329

0 commit comments

Comments
 (0)