diff options
Diffstat (limited to 'buildscripts/phing/bin/phing.php')
| -rw-r--r-- | buildscripts/phing/bin/phing.php | 54 |
1 files changed, 0 insertions, 54 deletions
diff --git a/buildscripts/phing/bin/phing.php b/buildscripts/phing/bin/phing.php deleted file mode 100644 index 7d0a774a..00000000 --- a/buildscripts/phing/bin/phing.php +++ /dev/null @@ -1,54 +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 $Revision: 1.7 $ - */ - -// Set any INI options for PHP -// --------------------------- - -ini_set('track_errors', 1); - -/* set classpath */ -/* -if (getenv('PHP_CLASSPATH')) { -// define('PHP_CLASSPATH', getenv('PHP_CLASSPATH') . PATH_SEPARATOR . get_include_path()); - define('PHP_CLASSPATH', realpath(dirname(__FILE__).'/../classes') . PATH_SEPARATOR . get_include_path()); - ini_set('include_path', PHP_CLASSPATH); -} else { - define('PHP_CLASSPATH', get_include_path()); -} -*/ -define('PHP_CLASSPATH', realpath(dirname(__FILE__).'/../classes') . PATH_SEPARATOR . get_include_path()); -ini_set('include_path', PHP_CLASSPATH); - -require_once 'phing/Phing.php'; - -/* Setup Phing environment */ -Phing::startup(); - -/* - find phing home directory - -- if Phing is installed from PEAR this will probably be null, - which is fine (I think). Nothing uses phing.home right now. -*/ -Phing::setProperty('phing.home', getenv('PHING_HOME')); - - -/* polish CLI arguments */ -$args = isset($argv) ? $argv : $_SERVER['argv']; // $_SERVER['argv'] seems not to work when argv is registered (PHP5b4) -array_shift($args); // 1st arg is script name, so drop it - -/* fire main application */ -Phing::fire($args); - -/* - exit OO system if not already called by Phing - -- basically we should not need this due to register_shutdown_function in Phing - */ - Phing::halt(0); - -?>
\ No newline at end of file |