diff options
Diffstat (limited to 'buildscripts/phing/bin/phing.php')
-rwxr-xr-x | buildscripts/phing/bin/phing.php | 56 |
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); - -} - -?> |