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/snapshot | |
| 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/snapshot')
| -rwxr-xr-x | scripts/dev/snapshot | 7 |
1 files changed, 0 insertions, 7 deletions
diff --git a/scripts/dev/snapshot b/scripts/dev/snapshot deleted file mode 100755 index f8e13ef9d9..0000000000 --- a/scripts/dev/snapshot +++ /dev/null @@ -1,7 +0,0 @@ -#! /bin/sh - -if test -n "$1"; then - flags="DISTNAME=$1" -fi - -${MAKE:-make} $flags -f build/build.mk snapshot |