diff options
Diffstat (limited to 'models/openid-php-openid-782224d/admin/open_tag')
| -rw-r--r-- | models/openid-php-openid-782224d/admin/open_tag | 17 |
1 files changed, 17 insertions, 0 deletions
diff --git a/models/openid-php-openid-782224d/admin/open_tag b/models/openid-php-openid-782224d/admin/open_tag new file mode 100644 index 000000000..27fe1c5c5 --- /dev/null +++ b/models/openid-php-openid-782224d/admin/open_tag @@ -0,0 +1,17 @@ +#!/usr/bin/env bash + +bad_files=$(./admin/findphp | + xargs -L 1 grep -H -m 1 "<?php" -c | + grep ":0" | + awk -F: '{ print $1 }') + +if [ "$bad_files" ] + then + cat <<EOF 1>&2 +These PHP files do NOT begin with <?php : + +$bad_files + +EOF + exit 1 +fi |