summaryrefslogtreecommitdiff
path: root/util/lint/lint-stable-030-makefile-inc
blob: a586bea91fe8fb6c4fa1c92da5ac23816f676e68 (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
#!/usr/bin/env sh
# SPDX-License-Identifier: GPL-2.0-or-later
#
# DESCR: Verify that Makefiles are not named Makefile.inc
#

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

MAKELIST="$(${FIND_FILES} | grep Makefile.inc)"
if [ -n "${MAKELIST}" ]; then
  echo "Error: Makefiles should be Makefile.mk not Makefile.inc"
  echo "${MAKELIST}"
fi