drm/panthor: Don't add write fences to the shared BOs
[drm/drm-misc.git] / scripts / misc-check
blobd40d5484e0c50da1414c5628c9b4b58d68451bd0
1 #!/bin/sh
2 # SPDX-License-Identifier: GPL-2.0-only
4 set -e
6 # Detect files that are tracked but ignored by git. This is checked only when
7 # ${KBUILD_EXTRA_WARN} contains 1, git is installed, and the source tree is
8 # tracked by git.
9 check_tracked_ignored_files () {
10 case "${KBUILD_EXTRA_WARN}" in
11 *1*) ;;
12 *) return;;
13 esac
15 git -C ${srctree:-.} ls-files -i -c --exclude-per-directory=.gitignore 2>/dev/null |
16 sed 's/$/: warning: ignored by one of the .gitignore files/' >&2
19 check_tracked_ignored_files