summaryrefslogtreecommitdiff
path: root/util/lint/lint-stable-013-site-local
blob: d701ee07b3b55b7cbeaab5665b07927b88659469 (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
28
29
30
31
#!/bin/sh
# This file is part of the coreboot project.
#
# Copyright 2016 Google Inc.
#
# 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, or (at your option)
# any later version.
#
# 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.
#
# 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