d4a3d01932
License header for the `gitconfig.sh` was copied from the Makefile it
was extracted from in commit 9ab8ae6a
(util/gitconfig: Make gitconfig
a bash script).
License header for the pre-commit hook names Patrick Georgi as the
copyright holder as he is the original author.
Change-Id: Ie051e5e6ae7571050ece383e6be8236ed7d1ddd9
Signed-off-by: Alex Thiessen <alex.thiessen.de+coreboot@gmail.com>
Reviewed-on: https://review.coreboot.org/23097
Tested-by: build bot (Jenkins) <no-reply@coreboot.org>
Reviewed-by: Paul Menzel <paulepanter@users.sourceforge.net>
Reviewed-by: Patrick Georgi <pgeorgi@google.com>
25 lines
794 B
Bash
Executable file
25 lines
794 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.
|
|
##
|
|
|
|
%MAKE% lint-stable
|
|
|
|
PATCHDIFF=$(git diff --cached)
|
|
if printf "%s\n" "$PATCHDIFF" | grep -q "@@"; then
|
|
echo
|
|
echo "Running checkpatch"
|
|
printf "%s\n" "$PATCHDIFF" | util/lint/checkpatch.pl --no-signoff -q -
|
|
fi
|