2017-03-19 12:54:11 +01:00
|
|
|
#!/bin/sh
|
|
|
|
|
2019-05-20 13:52:34 +02:00
|
|
|
CLANG_FORMAT=clang-format-8
|
2017-03-19 12:54:11 +01:00
|
|
|
|
|
|
|
if [ "$TRAVIS_PULL_REQUEST" != "false" ]; then
|
2020-02-19 11:35:20 +01:00
|
|
|
# Travis only clones the PR branch and uses its HEAD commit as detached HEAD,
|
|
|
|
# so it's problematic when we want an exact commit range for format checks.
|
|
|
|
# We fetch upstream to ensure that we have the proper references to resolve.
|
|
|
|
# Ideally we would use $TRAVIS_COMMIT_RANGE but it doesn't play well with PR
|
|
|
|
# updates, as it only includes changes since the previous state of the PR.
|
2020-03-30 09:10:37 +02:00
|
|
|
if [ -z "$(git remote | grep upstream)" ]; then
|
|
|
|
git remote add upstream https://github.com/godotengine/godot \
|
|
|
|
--no-tags -f -t $TRAVIS_BRANCH
|
|
|
|
fi
|
2020-02-19 11:35:20 +01:00
|
|
|
RANGE="upstream/$TRAVIS_BRANCH HEAD"
|
2017-03-19 12:54:11 +01:00
|
|
|
else
|
2020-02-19 11:35:20 +01:00
|
|
|
# Test only the last commit, since $TRAVIS_COMMIT_RANGE wouldn't support
|
|
|
|
# force pushes.
|
2017-03-19 12:54:11 +01:00
|
|
|
RANGE=HEAD
|
|
|
|
fi
|
|
|
|
|
2019-09-03 02:31:51 +02:00
|
|
|
FILES=$(git diff-tree --no-commit-id --name-only -r $RANGE | grep -v thirdparty/ | grep -v platform/android/java/lib/src/com/ | grep -E "\.(c|h|cpp|hpp|cc|hh|cxx|m|mm|inc|java|glsl)$")
|
2017-03-19 12:54:11 +01:00
|
|
|
echo "Checking files:\n$FILES"
|
|
|
|
|
|
|
|
# create a random filename to store our generated patch
|
|
|
|
prefix="static-check-clang-format"
|
|
|
|
suffix="$(date +%s)"
|
|
|
|
patch="/tmp/$prefix-$suffix.patch"
|
|
|
|
|
|
|
|
for file in $FILES; do
|
|
|
|
"$CLANG_FORMAT" -style=file "$file" | \
|
|
|
|
diff -u "$file" - | \
|
|
|
|
sed -e "1s|--- |--- a/|" -e "2s|+++ -|+++ b/$file|" >> "$patch"
|
|
|
|
done
|
|
|
|
|
|
|
|
# if no patch has been generated all is ok, clean up the file stub and exit
|
|
|
|
if [ ! -s "$patch" ] ; then
|
|
|
|
printf "Files in this commit comply with the clang-format rules.\n"
|
|
|
|
rm -f "$patch"
|
|
|
|
exit 0
|
|
|
|
fi
|
|
|
|
|
|
|
|
# a patch has been created, notify the user and exit
|
|
|
|
printf "\n*** The following differences were found between the code to commit "
|
|
|
|
printf "and the clang-format rules:\n\n"
|
2020-03-30 09:10:37 +02:00
|
|
|
pygmentize -l diff "$patch"
|
2017-03-19 12:54:11 +01:00
|
|
|
printf "\n*** Aborting, please fix your commit(s) with 'git commit --amend' or 'git rebase -i <hash>'\n"
|
|
|
|
exit 1
|