4a6477ed64
We don't block commits for failing checkpatch in gerrit, and we shouldn't block them here. This allows checkpatch to still run, so users can see the issues, but won't prevent the commit. Adds a delay if checkpatch fails so that the issues can be seen. Change-Id: Ibd4e8bb74e0b02825dcdf16e233a061c4bb43f50 Signed-off-by: Martin Roth <martin@coreboot.org> Reviewed-on: https://review.coreboot.org/27534 Tested-by: build bot (Jenkins) <no-reply@coreboot.org> Reviewed-by: Ronald G. Minnich <rminnich@gmail.com>
29 lines
929 B
Bash
Executable file
29 lines
929 B
Bash
Executable file
#!/bin/sh
|
|
|
|
##
|
|
## This file is part of the coreboot project.
|
|
##
|
|
## Copyright (C) 2015 Patrick Georgi <patrick@georgi-clan.de>
|
|
##
|
|
## This program is free software; you can redistribute it and/or modify
|
|
## it under the terms of the GNU General Public License as published by
|
|
## the Free Software Foundation; version 2 of the License.
|
|
##
|
|
## This program is distributed in the hope that it will be useful,
|
|
## but WITHOUT ANY WARRANTY; without even the implied warranty of
|
|
## MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
|
|
## GNU General Public License for more details.
|
|
##
|
|
|
|
set -e # -o errexit
|
|
set -u # -o nounset
|
|
|
|
%MAKE% lint-stable
|
|
|
|
PATCHDIFF=$(git diff --cached --src-prefix=a/ --dst-prefix=b/)
|
|
if printf "%s\n" "$PATCHDIFF" | grep -q "@@"; then
|
|
echo
|
|
echo "Running checkpatch"
|
|
printf "%s\n" "$PATCHDIFF" | util/lint/lint-007-checkpatch diff \
|
|
|| (echo "Please consider fixing these issues." ;sleep 5) ; true
|
|
fi
|