util/lint/lint-stable-013-site-local

   1 #!/usr/bin/env sh
   2 # SPDX-License-Identifier: GPL-2.0-or-later
   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 submodule.
  10
  11 LINTDIR="$(
  12   cd -- "$(dirname "$0")" > /dev/null 2>&1 || return
  13   pwd -P
  14 )"
  15
  16 # shellcheck source=helper_functions.sh
  17 . "${LINTDIR}/helper_functions.sh"
  18
  19 # Exit if the code isn't in a git repo
  20 if [ "${IN_GIT_TREE}" -eq 0 ]; then
  21         exit 0
  22 fi
  23
  24
  25 if [ -n "$(${FIND_FILES} site-local/*)" ]; then
  26         echo "Error: site-local must be kept separate from the coreboot repository."
  27 fi