tvl-depot/third_party/git/ci/run-static-analysis.sh
Vincent Ambo 7ef0d62730 merge(third_party/git): Merge squashed git subtree at v2.23.0
Merge commit '1b593e1ea4d2af0f6444d9a7788d5d99abd6fde5' as 'third_party/git'
2020-01-11 23:40:29 +00:00

29 lines
471 B
Bash
Executable file

#!/bin/sh
#
# Perform various static code analysis checks
#
. ${0%/*}/lib.sh
make coccicheck
set +x
fail=
for cocci_patch in contrib/coccinelle/*.patch
do
if test -s "$cocci_patch"
then
echo "$(tput setaf 1)Coccinelle suggests the following changes in '$cocci_patch':$(tput sgr0)"
cat "$cocci_patch"
fail=UnfortunatelyYes
fi
done
if test -n "$fail"
then
echo "$(tput setaf 1)error: Coccinelle suggested some changes$(tput sgr0)"
exit 1
fi
save_good_tree