summaryrefslogtreecommitdiffstats
path: root/util/lint/lint-stable-013-site-local
blob: 53693f21d35c320a91bb0161d7959f9c062563ea (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
#!/usr/bin/env sh
# SPDX-License-Identifier: GPL-2.0-or-later
#
# DESCR: Verify that site-local is not in the coreboot repository
#
# Because site-local is intended for local use only, it should never be
# pushed to coreboot.org.  Even for committing it for local use, it's
# recommended that it be kept in a separate repository, and pulled in
# as a git submodule.

LC_ALL=C export LC_ALL

if [ -n "$(command -v git)" ] && \
	[ "$(git rev-parse --is-inside-work-tree 2>/dev/null)" = "true" ]
then
	if [ -n "$(git ls-files site-local/*)" ]; then
		echo "Error: site-local must be kept separate from the coreboot repository."
	fi
fi