From e58fddf7a3d23b5b7b3cda48c5062ea4c274d5c0 Mon Sep 17 00:00:00 2001 From: Peter Kokot Date: Sat, 4 May 2019 17:57:54 +0200 Subject: [PATCH] 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. --- scripts/dev/phpextdist | 27 --------------------------- 1 file changed, 27 deletions(-) delete mode 100755 scripts/dev/phpextdist 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 "; - 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 -- 2.40.0