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, 15 insertions, 0 deletions
diff --git a/models/openid-php-openid-782224d/admin/docblocks b/models/openid-php-openid-782224d/admin/docblocks new file mode 100644 index 000000000..a7f05c3b8 --- /dev/null +++ b/models/openid-php-openid-782224d/admin/docblocks @@ -0,0 +1,15 @@ +#!/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 |