diff options
Diffstat (limited to 'models/openid-php-openid-782224d/admin/docblocks')
| -rw-r--r-- | models/openid-php-openid-782224d/admin/docblocks | 15 |
1 files changed, 0 insertions, 15 deletions
diff --git a/models/openid-php-openid-782224d/admin/docblocks b/models/openid-php-openid-782224d/admin/docblocks deleted file mode 100644 index a7f05c3b8..000000000 --- a/models/openid-php-openid-782224d/admin/docblocks +++ /dev/null @@ -1,15 +0,0 @@ -#!/usr/bin/env bash -#set -e - -bad_files=$(./admin/findphp | xargs -L 1 /usr/bin/env perl admin/docblocks.pl) - -if [ "$bad_files" ] - then - cat <<EOF 1>&2 -These files do not start with docblocks: - -$bad_files - -EOF - exit 1 -fi |