mirror of
https://github.com/php/php-src.git
synced 2024-09-22 02:17:32 +00:00
3cdc895213
- Changed WDDX extension to use new date parsing code. - Removed all remnants to the old parser. #- I hope that I didn't break the .dsp's...
14 lines
356 B
Bash
Executable File
14 lines
356 B
Bash
Executable File
#! /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
|
|
|
|
for f in ext/standard/url_scanner_ex.c ext/standard/var_unserializer.c; do
|
|
cp $f $f.orig
|
|
grep -v '#line ' $f.orig > $f
|
|
done
|
|
|