summaryrefslogtreecommitdiffstats
path: root/util/lint/lint-stable-013-site-local
blob: 7a7dc8b2e225c7ef65d929afcbb4854f4b9a63fa (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
#!/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 submodule.

LINTDIR="$(
  cd -- "$(dirname "$0")" > /dev/null 2>&1 || return
  pwd -P
)"

# shellcheck source=helper_functions.sh
. "${LINTDIR}/helper_functions.sh"

# Exit if the code isn't in a git repo
if [ "${IN_GIT_TREE}" -eq 0 ]; then
	exit 0
fi


if [ -n "$(${FIND_FILES} site-local/*)" ]; then
	echo "Error: site-local must be kept separate from the coreboot repository."
fi