From 8fdf9894ed9fcf2ee84428d36dfbf35717c22ac6 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Jaime=20Pe=CC=81rez=20Crespo?= <jaime.perez@uninett.no>
Date: Fri, 1 Sep 2017 17:28:58 +0200
Subject: [PATCH] Try to invoke the psalm PHP script directly

---
 .travis.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.travis.yml b/.travis.yml
index e24bdbd3e..9d6a4a34c 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -16,7 +16,7 @@ before_script:
 script:
 - bin/check-syntax.sh
 - if [[ "$TRAVIS_PHP_VERSION" == "5.6" ]]; then php vendor/phpunit/phpunit/phpunit --configuration tools/phpunit; else php vendor/phpunit/phpunit/phpunit --configuration tools/phpunit --no-coverage; fi
-- if [[ "$TRAVIS_PHP_VERSION" == "7.0" ]]; then vendor/bin/psalm -c tools/psalm.xml --find-dead-code; fi
+- if [[ "$TRAVIS_PHP_VERSION" == "7.0" ]]; then php vendor/vimeo/psalm/bin/psalm -c tools/psalm.xml --find-dead-code; fi
 after_success:
 - if [[ "$TRAVIS_PHP_VERSION" == "5.6" ]]; then php vendor/bin/coveralls -v; fi
 notifications:
-- 
GitLab