aboutsummaryrefslogtreecommitdiff
path: root/contrib/checkplatform.sh
blob: cf312a22976cd783d05b0763a09cfe71f6d69010 (plain) (blame)
1
2
3
4
5
6
7
8
9
#!/bin/sh
for n in `find * -name "*.c"`
do
  PF=`grep "#include" $n | head -n1 | grep platform.h | wc -l`
  if test $PF = 0
  then
    echo "$n does not include platform.h first!";
  fi
done