From 6467e78253fb735efadc065e5c7f8708dee5c88b Mon Sep 17 00:00:00 2001 From: Pierre Joye Date: Mon, 15 Aug 2005 22:00:26 +0000 Subject: [PATCH] - some other (#1 out 2) --- pear/make-pear-bundle.php | 114 -------------------------------------- 1 file changed, 114 deletions(-) delete mode 100755 pear/make-pear-bundle.php diff --git a/pear/make-pear-bundle.php b/pear/make-pear-bundle.php deleted file mode 100755 index 5956206e75..0000000000 --- a/pear/make-pear-bundle.php +++ /dev/null @@ -1,114 +0,0 @@ -#!/usr/bin/php - $version) { - $filename = "$name-$version.tgz"; - $destfilename = "$dist_dir/PEAR/go-pear-bundle/$filename"; - if (file_exists($destfilename)) - continue; - $url = "http://pear.php.net/get/$filename"; - echo "Downloading $name from $url\n"; - flush(); - copy($url, $destfilename); -} - -echo "Download complete. Extracting bootstrap files\n"; - -/* Now, we want PEAR.php, Getopt.php (Console_Getopt) and Tar.php (Archive_Tar) - * broken out of the tarballs */ -extract_file_from_tarball('PEAR', 'PEAR.php', "$dist_dir/PEAR/go-pear-bundle"); -extract_file_from_tarball('Archive_Tar', 'Archive/Tar.php', "$dist_dir/PEAR/go-pear-bundle"); -extract_file_from_tarball('Console_Getopt', 'Console/Getopt.php', "$dist_dir/PEAR/go-pear-bundle"); -?> -- 2.50.1