Remove unused tools

This commit is contained in:
Dennis Eichhorn 2017-11-05 14:40:08 +01:00
parent 59408e6830
commit 27cf67ba2c

View File

@ -69,8 +69,6 @@ if [ ! -d "$TOOLS_PATH" ]; then
wget -nc https://github.com/Halleck45/PhpMetrics/raw/master/build/phpmetrics.phar
wget -nc http://phpdoc.org/phpDocumentor.phar
wget -nc http://static.pdepend.org/php/latest/pdepend.phar
wget -nc https://squizlabs.github.io/PHP_CodeSniffer/phpcs.phar
wget -nc http://static.phpmd.org/php/latest/phpmd.phar
wget -nc https://phar.phpunit.de/phpcpd.phar
wget -nc http://dl.google.com/closure-compiler/compiler-latest.tar.gz
tar -zxvf compiler-latest.tar.gz