diff options
author | Ciro Mattia Gonano <ciromattia@gmail.com> | 2013-09-13 14:53:07 +0200 |
---|---|---|
committer | Ciro Mattia Gonano <ciromattia@gmail.com> | 2013-09-13 14:53:07 +0200 |
commit | 394ba0bcb0018ee6b1b7d736b7127c6b60e5e563 (patch) | |
tree | ad6474fec51feb2fcde123538339d615091104f4 | |
parent | 021012987216e062b237370cb6691803af28c0bb (diff) |
Remove useless travis-phing.sh script
-rwxr-xr-x | travis-phing.sh | 40 |
1 files changed, 0 insertions, 40 deletions
diff --git a/travis-phing.sh b/travis-phing.sh deleted file mode 100755 index 04d86a9f..00000000 --- a/travis-phing.sh +++ /dev/null @@ -1,40 +0,0 @@ -#!/bin/bash -#----------------------------------------------------------- -# -# Purpose: Run phing in a travis environment -# -# Target system: travis-ci -#----------------------------------------------------------- - -installPearTask () -{ - echo -e "\nAuto-discover pear channels and upgrade ..." - pear config-set auto_discover 1 - pear -qq channel-update pear.php.net - pear -qq upgrade - echo "... OK" - - echo -e "\nInstalling / upgrading phing ... " - which phing >/dev/null && - pear upgrade pear.phing.info/phing || - pear install --alldeps pear.phing.info/phing - - # update paths - phpenv rehash - - # re-test for phing: - phing -v 2>&1 >/dev/null && - echo "... OK" || - return 1 -} - - -#----------------------------------------------------------- - - installPearTask && - echo -e "\nSUCCESS - PHP ENVIRONMENT READY." || - ( echo "=== FAILED."; exit 1 ) - - phing $* - -#------------------------------------------------------- eof |