diff options
Diffstat (limited to 'genfiles')
-rwxr-xr-x | genfiles | 20 |
1 files changed, 0 insertions, 20 deletions
diff --git a/genfiles b/genfiles deleted file mode 100755 index ff10d9d0d8..0000000000 --- a/genfiles +++ /dev/null @@ -1,20 +0,0 @@ -#! /bin/sh - -STD='make -f Makefile.frag LEX="flex -L" YACC="bison -y -l" srcdir=Zend builddir=Zend' - -(eval "$STD Zend/zend_language_parser.c Zend/zend_language_scanner.c Zend/zend_ini_parser.c Zend/zend_ini_scanner.c") - -set -x - -CLEANUP_FILES=" \ - ext/pdo/pdo_sql_parser.c \ - ext/date/lib/parse_date.c \ - ext/standard/url_scanner_ex.c \ - ext/standard/var_unserializer.c \ -" - -for f in $CLEANUP_FILES; do - cp $f $f.orig - grep -v '#line ' $f.orig > $f -done - |