Merge up to r3319

1 files changed, 0 insertions, 56 deletions

diff --git a/buildscripts/phing/bin/phing.php b/buildscripts/phing/bin/phing.php
deleted file mode 100755
index 3b70887a..00000000
--- a/buildscripts/phing/bin/phing.php
+++ /dev/null
@@ -1,56 +0,0 @@
-<?php
-
-/**
- * This is the Phing command line launcher. It starts up the system evironment
- * tests for all important paths and properties and kicks of the main command-
- * line entry point of phing located in phing.Phing
- * @version $Id$
- */
- 
-// Set any INI options for PHP
-// ---------------------------
-
-/* set classpath */
-if (getenv('PHP_CLASSPATH')) {
-    if (!defined('PHP_CLASSPATH')) { define('PHP_CLASSPATH',  getenv('PHP_CLASSPATH') . PATH_SEPARATOR . get_include_path()); }
-    ini_set('include_path', PHP_CLASSPATH);
-} else {
-    if (!defined('PHP_CLASSPATH')) { define('PHP_CLASSPATH',  get_include_path()); }
-}
-
-require_once 'phing/Phing.php';
-
-try {
-    
-    /* Setup Phing environment */
-    Phing::startup();
-
-    // Set phing.home property to the value from environment
-    // (this may be NULL, but that's not a big problem.) 
-    Phing::setProperty('phing.home', getenv('PHING_HOME'));
-
-    // Grab and clean up the CLI arguments
-    $args = isset($argv) ? $argv : $_SERVER['argv']; // $_SERVER['argv'] seems to not work (sometimes?) when argv is registered
-    array_shift($args); // 1st arg is script name, so drop it
-    
-    // Invoke the commandline entry point
-    Phing::fire($args);
-    
-    // Invoke any shutdown routines.
-    Phing::shutdown();
-    
-} catch (ConfigurationException $x) {
-    
-    Phing::printMessage($x);
-    exit(-1); // This was convention previously for configuration errors.
-    
-} catch (Exception $x) {
-    
-    // Assume the message was already printed as part of the build and
-    // exit with non-0 error code.
-    
-    exit(1);
-    
-}
-
-?>