diff options
author | Peter Kokot <peterkokot@gmail.com> | 2019-05-04 17:57:54 +0200 |
---|---|---|
committer | Peter Kokot <peterkokot@gmail.com> | 2019-05-06 00:15:20 +0200 |
commit | e58fddf7a3d23b5b7b3cda48c5062ea4c274d5c0 (patch) | |
tree | a1409422cb8125eb4f4c33ec011f2f0e96c4606d /scripts | |
parent | 340c39acfa165990150b68ac52d11dbdc2003eba (diff) | |
download | php-git-e58fddf7a3d23b5b7b3cda48c5062ea4c274d5c0.tar.gz |
Remove phpextdist
This script hasn't been used since using PEAR as a package manager for
PHP extensions since it is using Makefile.in as an indicator if the
current directory is extension. Instead of this script extensions can
be packaged differently and more properly with either current PEAR
or with some other manual method.
Diffstat (limited to 'scripts')
-rwxr-xr-x | scripts/dev/phpextdist | 27 |
1 files changed, 0 insertions, 27 deletions
diff --git a/scripts/dev/phpextdist b/scripts/dev/phpextdist deleted file mode 100755 index 316a8bd5d6..0000000000 --- a/scripts/dev/phpextdist +++ /dev/null @@ -1,27 +0,0 @@ -#! /bin/sh -if test $# -lt 2; then - echo "usage: phpextdist <extension> <version>"; - exit 1 -fi - -phpize=`php-config --prefix`/bin/phpize -distname="$1-$2" - -if test ! -f Makefile.in || test ! -f config.m4; then - echo "Did not find required files in current directory" - exit 1 -fi - -rm -rf modules *.lo *.o *.la config.status config.cache \ -config.log libtool php_config.h Makefile - -myname=`basename \`pwd\`` -cd .. -cp -rp $myname $distname -cd $distname -$phpize -cd .. -tar cf $distname.tar $distname -rm -rf $distname $distname.tar.* -gzip --best $distname.tar -mv $distname.tar.gz $myname |