Martin Roth | 0ad5fbd | 2020-12-24 12:06:38 -0700 | [diff] [blame] | 1 | #!/usr/bin/env sh |
Patrick Georgi | 55189c9 | 2020-05-10 20:09:31 +0200 | [diff] [blame] | 2 | # SPDX-License-Identifier: GPL-2.0-or-later |
Martin Roth | 44ef167 | 2016-02-02 09:43:12 -0700 | [diff] [blame] | 3 | # |
| 4 | # DESCR: Verify that site-local is not in the coreboot repository |
| 5 | # |
| 6 | # Because site-local is intended for local use only, it should never be |
| 7 | # pushed to coreboot.org. Even for committing it for local use, it's |
| 8 | # recommended that it be kept in a separate repository, and pulled in |
| 9 | # as a git submodule. |
| 10 | |
| 11 | LC_ALL=C export LC_ALL |
| 12 | |
Alex Thiessen | 73f19dc | 2018-01-16 23:05:48 +0000 | [diff] [blame] | 13 | if [ -n "$(command -v git)" ] && \ |
| 14 | [ "$(git rev-parse --is-inside-work-tree 2>/dev/null)" = "true" ] |
| 15 | then |
Martin Roth | 44ef167 | 2016-02-02 09:43:12 -0700 | [diff] [blame] | 16 | if [ -n "$(git ls-files site-local/*)" ]; then |
| 17 | echo "Error: site-local must be kept separate from the coreboot repository." |
| 18 | fi |
| 19 | fi |