flush

[m6w6/ext-psi] / config.m4

diff --git a/config.m4 b/config.m4
index 999f61c851d0c48eddac05b0fcd681cec1c898a6..991550584e99eef07506cf760d61c1c102323964 100644 (file)
--- a/config.m4
+++ b/config.m4
@@ -29,6 +29,7 @@ if test "$PHP_PSI" != "no"; then
 
        PHP_PSI_HEADERS=`(cd $PHP_PSI_SRCDIR/src && echo *.h)`
        PHP_PSI_SOURCES=`(cd $PHP_PSI_SRCDIR && echo src/*.c)`
+       PHP_PSI_SOURCES="src/parser.c src/parser_proc.c"
 
        PHP_NEW_EXTENSION(psi, $PHP_PSI_SOURCES, $ext_shared)
        PHP_INSTALL_HEADERS(ext/psi, php_psi.h $PHP_PSI_HEADERS)