]> git.wh0rd.org - tt-rss.git/commitdiff
phpmd ci: add plugins
authorAndrew Dolgov <noreply@fakecake.org>
Wed, 26 Apr 2017 18:15:43 +0000 (21:15 +0300)
committerAndrew Dolgov <noreply@fakecake.org>
Wed, 26 Apr 2017 18:15:43 +0000 (21:15 +0300)
utils/gitlab-ci/phpmd.sh

index 4ff5daf764f4264fa6df27b6734aac89c1ee27ac..7541db84076b4865812d800434068fb2e67d5ed7 100644 (file)
@@ -2,7 +2,7 @@
 
 set -e
 
-phpmd include,classes text utils/gitlab-ci/phpmd-ruleset.xml
+phpmd include,classes,plugins text utils/gitlab-ci/phpmd-ruleset.xml
 
 FILES=$(ls -dm *.php | tr -d " "| tr -d "\n")
 phpmd $FILES text utils/gitlab-ci/phpmd-ruleset.xml