From: Peter Kokot <peterkokot@gmail.com>
Date: Sat, 4 May 2019 15:57:54 +0000 (+0200)
Subject: Remove phpextdist
X-Git-Tag: php-7.4.0alpha1~356
X-Git-Url: https://granicus.if.org/sourcecode?a=commitdiff_plain;h=e58fddf7a3d23b5b7b3cda48c5062ea4c274d5c0;p=php

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.
---

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