File: validate-c

package info (click to toggle)
runc 1.0.0~rc93%2Bds1-5
  • links: PTS, VCS
  • area: main
  • in suites: bookworm, bullseye, sid
  • size: 3,172 kB
  • sloc: sh: 1,679; ansic: 1,039; makefile: 139
file content (42 lines) | stat: -rwxr-xr-x 1,158 bytes parent folder | download
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
#!/bin/bash

source "$(dirname "$BASH_SOURCE")/.validate"

IFS=$'\n'
files=($(validate_diff --diff-filter=ACMR --name-only -- '*.c' | grep -v '^vendor/' || true))
unset IFS

# indent(1): "You must use the ‘-T’ option to tell indent the name of all the typenames in your program that are defined by typedef."
INDENT="indent -linux -l120 -T size_t -T jmp_buf"
if [ -z "$(indent --version 2>&1 | grep GNU)" ]; then
	echo "Skipping C indentation checks, as GNU indent is not installed."
	exit 0
fi

badFiles=()
for f in "${files[@]}"; do
	orig=$(mktemp)
	formatted=$(mktemp)
	# we use "git show" here to validate that what's committed is formatted
	git show "$VALIDATE_HEAD:$f" >${orig}
	${INDENT} ${orig} -o ${formatted}
	if [ "$(diff -u ${orig} ${formatted})" ]; then
		badFiles+=("$f")
	fi
	rm -f ${orig} ${formatted}
done

if [ ${#badFiles[@]} -eq 0 ]; then
	echo 'Congratulations!  All C source files are properly formatted.'
else
	{
		echo "These files are not properly formatted:"
		for f in "${badFiles[@]}"; do
			echo " - $f"
		done
		echo
		echo "Please reformat the above files using \"${INDENT}\" and commit the result."
		echo
	} >&2
	false
fi