diff options
Diffstat (limited to 'scripts/dev/genfiles')
-rwxr-xr-x | scripts/dev/genfiles | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/dev/genfiles b/scripts/dev/genfiles index 89fdc2d6ca..d29c0d778a 100755 --- a/scripts/dev/genfiles +++ b/scripts/dev/genfiles @@ -102,7 +102,7 @@ if ! test -x "$(command -v $MAKE)"; then fi echo "genfiles: Generating Zend parser and lexer files" -$MAKE RE2C="$RE2C" RE2C_FLAGS="$RE2C_FLAGS" YACC="$YACC" srcdir=Zend builddir=Zend top_srcdir=. \ +$MAKE RE2C="$RE2C" RE2C_FLAGS="$RE2C_FLAGS" YACC="$YACC" SED="$SED" srcdir=Zend builddir=Zend top_srcdir=. \ -f Zend/Makefile.frag \ Zend/zend_language_parser.c \ Zend/zend_language_scanner.c \ |