| Martin Roth | 44ef167 | 2016-02-02 09:43:12 -0700 | [diff] [blame] | 1 | #!/bin/sh |
| 2 | # This file is part of the coreboot project. |
| 3 | # |
| 4 | # Copyright 2016 Google Inc. |
| 5 | # |
| 6 | # This program is free software; you can redistribute it and/or modify |
| 7 | # it under the terms of the GNU General Public License as published by |
| 8 | # the Free Software Foundation; version 2 of the License, or (at your option) |
| 9 | # any later version. |
| 10 | # |
| 11 | # This program is distributed in the hope that it will be useful, |
| 12 | # but WITHOUT ANY WARRANTY; without even the implied warranty of |
| 13 | # MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the |
| 14 | # GNU General Public License for more details. |
| 15 | # |
| 16 | # DESCR: Verify that site-local is not in the coreboot repository |
| 17 | # |
| 18 | # Because site-local is intended for local use only, it should never be |
| 19 | # pushed to coreboot.org. Even for committing it for local use, it's |
| 20 | # recommended that it be kept in a separate repository, and pulled in |
| 21 | # as a git submodule. |
| 22 | |
| 23 | LC_ALL=C export LC_ALL |
| 24 | |
| 25 | if [ -n "$(command -v git)" ] && [ -e ".git" ]; then |
| 26 | if [ -n "$(git ls-files site-local/*)" ]; then |
| 27 | echo "Error: site-local must be kept separate from the coreboot repository." |
| 28 | fi |
| 29 | fi |