diff options
| -rwxr-xr-x | util/gitconfig/gitconfig.sh | 16 | ||||
| -rwxr-xr-x | util/gitconfig/pre-commit | 16 |
2 files changed, 32 insertions, 0 deletions
diff --git a/util/gitconfig/gitconfig.sh b/util/gitconfig/gitconfig.sh index 5f91a697da..2f96fd41f2 100755 --- a/util/gitconfig/gitconfig.sh +++ b/util/gitconfig/gitconfig.sh @@ -1,4 +1,20 @@ #!/bin/bash + +## +## This file is part of the coreboot project. +## +## Copyright (C) 2011 secunet Security Networks AG +## +## 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. +## + if [ ! -d .git ]; then echo "Error: Not in a git repository" exit 1 diff --git a/util/gitconfig/pre-commit b/util/gitconfig/pre-commit index 1c04bc34e9..ac0db4a238 100755 --- a/util/gitconfig/pre-commit +++ b/util/gitconfig/pre-commit @@ -1,4 +1,20 @@ #!/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) |