checkpatch.sh

#!/bin/bash

set -e

if [ -f "../../scripts/checkpatch.pl" ]; then
    check_patch="../../scripts/checkpatch.pl"
else
    if [ ! -f "checkpatch.pl" ]; then
        wget https://raw.githubusercontent.com/ev3dev/ev3-kernel/ev3dev-buster/scripts/checkpatch.pl
        chmod +x checkpatch.pl
    fi
    check_patch=./checkpatch.pl
fi

if [ ! -f "spelling.txt" ]; then
        wget https://raw.githubusercontent.com/ev3dev/ev3-kernel/ev3dev-buster/scripts/spelling.txt
    fi

if [ -z "$TRAVIS_REPO_SLUG" ]; then
    git diff origin/ev3dev-buster | $check_patch --no-tree --no-signoff -
    echo "OK!"
else
    if [ "$TRAVIS_PULL_REQUEST" = "false" ] && [ "$TRAVIS_BRANCH" = "ev3dev-buster" ]; then
        # it is too late to check now.
        exit 0
    fi
    curl -i "https://github.com/$TRAVIS_REPO_SLUG/compare/ev3dev:ev3dev-buster...$TRAVIS_COMMIT.diff" \
        | grep -v '\(^X-Served-By:\|^X-Request-Id:\|^Set-Cookie:\|^Content-Security-Policy:\|^Public-Key-Pins:\)' \
        | $check_patch --no-tree --no-signoff --ignore BAD_SIGN_OFF --ignore FILE_PATH_CHANGES -
fi

# fail if git command failed
exit $PIPESTATUS