diff --git a/4dev/checking/phan.sh b/4dev/checking/phan.sh index 2366b134..40f9877e 100755 --- a/4dev/checking/phan.sh +++ b/4dev/checking/phan.sh @@ -1,5 +1,6 @@ base=$(pwd)"/"; # must be run in ${base} cd $base || exit; -PHAN_DISABLE_XDEBUG_WARN=1;${base}tools/phan --progress-bar -C --analyze-twice +#PHAN_DISABLE_XDEBUG_WARN=1;${base}tools/phan --progress-bar -C --analyze-twice +PHAN_DISABLE_XDEBUG_WARN=1;${base}vendor/bin/phan --progress-bar -C --analyze-twice cd ~ || exit;