| #!/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 |