]> granicus.if.org Git - php/commitdiff
- Use the right tool here too
authorJani Taskinen <jani@php.net>
Wed, 26 Mar 2008 13:35:54 +0000 (13:35 +0000)
committerJani Taskinen <jani@php.net>
Wed, 26 Mar 2008 13:35:54 +0000 (13:35 +0000)
genfiles

index ff10d9d0d87d7526d711df9f38db6b4a82227ffc..b21140ee79b87363760ddac5dc8f8fe358acd4a4 100755 (executable)
--- a/genfiles
+++ b/genfiles
@@ -1,6 +1,6 @@
 #! /bin/sh
 
-STD='make -f Makefile.frag LEX="flex -L" YACC="bison -y -l" srcdir=Zend builddir=Zend'
+STD='make -f Makefile.frag RE2C="re2c -i" YACC="bison -y -l" srcdir=Zend builddir=Zend top_srcdir=.'
 
 (eval "$STD Zend/zend_language_parser.c Zend/zend_language_scanner.c Zend/zend_ini_parser.c Zend/zend_ini_scanner.c")