coreboot-kgpe-d16/util/gitconfig/pre-commit

#!/bin/sh
%MAKE% lint-stable

PATCHDIFF=$(git diff --cached)
if echo "$PATCHDIFF" | grep -q "@@"; then
	echo
	echo "Running checkpatch"
	echo "$PATCHDIFF" | util/lint/checkpatch.pl --no-signoff -q -
fi
gitconfig: Add lint-stable as pre-commit hook When configuring the tree with "make gitconfig", a pre-commit hook is installed that runs the stable lint tests. If any of these fail, the log is visible (on stdout) and the commit is aborted. Change-Id: Ie2a26e87f466c63b24db8dca8827057a18ac7f3e Signed-off-by: Patrick Georgi <patrick@georgi-clan.de> Reviewed-on: http://review.coreboot.org/682 Tested-by: build bot (Jenkins) Reviewed-by: Stefan Reinauer <stefan.reinauer@coreboot.org> 2012-02-25 19:52:45 +01:00			`#!/bin/sh`
lint/gitconfig: Enable checkpatch.pl checking of commits This patch enables running the checkpatch script on the code portion of each commit as part of the pre-commit hook. At this point there is no checking of the commit message in place (e.g. for typos) Change-Id: I7cdf0692cf372986e411f4aba4691417b73c7511 Signed-off-by: Stefan Reinauer <stefan.reinauer@coreboot.org> Reviewed-on: http://review.coreboot.org/8419 Tested-by: build bot (Jenkins) Reviewed-by: Marc Jones <marc.jones@se-eng.com> 2015-02-11 01:53:42 +01:00			`%MAKE% lint-stable`
util/gitconfig: update pre-commit script The previous pre-commit script generates an error when a commit doesn't actually generate a patch file. This happens in rare instances when the only change in a patch is to update file permissions. Update the pre-commit script to verify that there's actually a patch before calling checkpatch. Also print that we're running checkpatch so that it doesn't look like odd failures come from lint-stable. Fixes Bug #132 - Problem with `lint-stable` when changing mode of file Change-Id: I142610b6fc984b2b14fd6c634bc4e7f2880ba987 Signed-off-by: Martin Roth <martinroth@google.com> Reviewed-on: https://review.coreboot.org/20781 Tested-by: build bot (Jenkins) <no-reply@coreboot.org> Reviewed-by: Patrick Georgi <pgeorgi@google.com> Reviewed-by: Paul Menzel <paulepanter@users.sourceforge.net> 2017-07-26 18:38:42 +02:00
			`PATCHDIFF=$(git diff --cached)`
			`if echo "$PATCHDIFF" \| grep -q "@@"; then`
			`echo`
			`echo "Running checkpatch"`
			`echo "$PATCHDIFF" \| util/lint/checkpatch.pl --no-signoff -q -`
			`fi`