diff options
Diffstat (limited to 'models/openid-php-openid-782224d/admin/nobadcase')
| -rw-r--r-- | models/openid-php-openid-782224d/admin/nobadcase | 14 |
1 files changed, 0 insertions, 14 deletions
diff --git a/models/openid-php-openid-782224d/admin/nobadcase b/models/openid-php-openid-782224d/admin/nobadcase deleted file mode 100644 index c2c266237..000000000 --- a/models/openid-php-openid-782224d/admin/nobadcase +++ /dev/null @@ -1,14 +0,0 @@ -#!/usr/bin/env bash - -bad=$(./admin/findphp | xargs egrep -n "^[^\'\"]*\b(TRUE|FALSE|NULL)\b") - -if [ ! -z "$bad" ] - then - cat <<EOF 1>&2 -These files contain wrongly capitalized constants: - -$bad - -EOF - exit 1 -fi |