blob: dfc92b15012adeb7bd59484d2c2529d61c2aae7e (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
|
#!/usr/bin/env bash
set -e
rc=0
verbose=0
indent_args='-linux -l95 -cp1 -lps -il6 -ncs'
function iver { printf "%03d%03d%03d%03d" $(echo "$@" | sed 's/GNU indent//' | tr '.' ' '); }
while [ -n "$*" ]; do
case "$1" in
-v )
verbose=1
shift
;;
-h )
echo check_format.sh [-h -v]
exit 0
;;
esac
done
echo "Checking format of files in the git index at $PWD"
if ! git rev-parse --is-inside-work-tree >& /dev/null; then
echo "Not in a git repo: Fail"
exit 1
fi
if hash indent && [ $(iver $(indent --version)) -ge $(iver 2.2.12) ]; then
echo "Checking C files for coding style..."
for f in `git ls-files '*.c'`; do
[ "$verbose" -gt 0 ] && echo "checking style on $f"
if ! indent $indent_args -st $f | diff -q $f - >& /dev/null; then
echo " File found with formatting issues: $f"
[ "$verbose" -gt 0 ] 2> /dev/null && indent $indent_args -st $f | diff -u $f -
rc=1
fi
done
[ "$rc" -gt 0 ] && echo " Run ./tools/iindent on files"
else
echo "You do not have a recent indent installed so your code style is not being checked!"
fi
if hash grep; then
echo "Checking for dos and whitespace violations..."
for f in $(git ls-files); do
[ "$verbose" -gt 0 ] && echo "checking whitespace on $f"
if grep -q '[[:space:]]$' $f ; then
echo " File found with trailing whitespace: $f"
rc=1
fi
if grep -q $'\r' $f ; then
echo " File found with dos formatting: $f"
rc=1
fi
done
fi
echo "Checking source files for permissions..."
while read -r perm _res0 _res1 f; do
[ -z "$f" ] && continue
[ "$verbose" -gt 0 ] && echo "checking permissions on $f"
if [ "$perm" -ne 100644 ]; then
echo " File found with permissions issue ($perm): $f"
rc=1
fi
done <<< $(git ls-files -s -- ':(exclude)*.sh' ':(exclude)*iindent')
echo "Checking script files for permissions..."
while read -r perm _res0 _res1 f; do
[ -z "$f" ] && continue
[ "$verbose" -gt 0 ] && echo "checking permissions on $f"
if [ "$perm" -ne 100755 ]; then
echo " Script found with permissions issue ($perm): $f"
rc=1
fi
done <<< $(git ls-files -s '*.sh')
echo "Checking for signoff in commit message..."
if ! git log -n 1 --format=%B --no-merges | grep -q "^Signed-off-by:" ; then
echo " Commit not signed off. Please read src/CONTRIBUTING.md"
rc=1
fi
[ "$rc" -gt 0 ] && echo Format Fail || echo Format Pass
exit $rc
|
