diff options
| author | Peter Kokot <peterkokot@gmail.com> | 2019-04-26 02:38:53 +0200 |
|---|---|---|
| committer | Peter Kokot <peterkokot@gmail.com> | 2019-05-18 02:05:59 +0200 |
| commit | 29bff939c7bb2385b3ec2c6e610bc921360a8a4b (patch) | |
| tree | 57280f16399b2c81aef7c54a7c59ce5f7a19b8f1 /scripts/dev/genfiles | |
| parent | 969047749d33bb88a0573aa91a57e2070335111a (diff) | |
| download | php-git-29bff939c7bb2385b3ec2c6e610bc921360a8a4b.tar.gz | |
Enhance makedist script
This enhances the makidst script:
- integrate both snapshot and makedist scripts together
- add help and options
- generated files are created in the php-src repository directly
- other minor enhancemenets such as CS fixes
- functionality moved from the Makefile to only shell script
- Add missed patching of the Zend Parsers to the main build step
- Add all *.tmp files to gitignore
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 \ |