4 ## This file is part of the coreboot project.
6 ## Copyright (C) 2015 Patrick Georgi <patrick@georgi-clan.de>
8 ## This program is free software; you can redistribute it and/or modify
9 ## it under the terms of the GNU General Public License as published by
10 ## the Free Software Foundation; version 2 of the License.
12 ## This program is distributed in the hope that it will be useful,
13 ## but WITHOUT ANY WARRANTY; without even the implied warranty of
14 ## MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
15 ## GNU General Public License for more details.
23 PATCHDIFF
=$
(git
diff --cached --src-prefix=a
/ --dst-prefix=b
/)
24 if printf "%s\n" "$PATCHDIFF" |
grep -q "@@"; then
26 echo "Running checkpatch"
27 printf "%s\n" "$PATCHDIFF" | util
/lint
/lint-007-checkpatch
diff