diff options
| author | Andrew Dolgov <[email protected]> | 2017-04-26 14:01:25 +0300 |
|---|---|---|
| committer | Andrew Dolgov <[email protected]> | 2017-04-26 14:01:25 +0300 |
| commit | 833636bbd01a458bdff2baa9d12967f8b1aa68f1 (patch) | |
| tree | ebb4b338901b942d5e0702e6a5a346980ece72e2 /utils/gitlab-ci/php-lint.sh | |
| parent | f78e10d14c2cac5e0940678fbc475886447eef2a (diff) | |
limit CI to phpmd for the time being
Diffstat (limited to 'utils/gitlab-ci/php-lint.sh')
| -rw-r--r-- | utils/gitlab-ci/php-lint.sh | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/utils/gitlab-ci/php-lint.sh b/utils/gitlab-ci/php-lint.sh deleted file mode 100644 index ceaee1466..000000000 --- a/utils/gitlab-ci/php-lint.sh +++ /dev/null @@ -1,3 +0,0 @@ -#!/bin/sh -e - -exec find . -name "*.php" -print0 | xargs -0 -n1 php -q -l |