File: open_tag

package info (click to toggle)
php-openid 2.0.0-2
  • links: PTS, VCS
  • area: main
  • in suites: lenny
  • size: 3,284 kB
  • ctags: 6,733
  • sloc: php: 20,482; python: 346; xml: 333; sh: 130; perl: 103; makefile: 31
file content (17 lines) | stat: -rw-r--r-- 263 bytes parent folder | download 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
 
#!/usr/bin/env bash

bad_files=$(./admin/findphp |
      xargs -l1 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