diff options
| author | Martin Roth <martin@coreboot.org> | 2022-06-03 00:06:57 -0600 |
|---|---|---|
| committer | Martin L Roth <gaumless@gmail.com> | 2022-09-30 19:19:53 +0000 |
| commit | d81debd9467f7e0d5a255ed7f6b5f1916c613b77 (patch) | |
| tree | 224623fc3af10180d652c7c0d7c39925e74e3763 /util/lint/lint-stable-009-old-licenses | |
| parent | 7726a7f272965d9279e4c8008b893751203aa304 (diff) | |
util/lint: Update tools that use git to use a library
Each of the tools that used git had similar functionality. This combines
all of that into a single script that gets sourced by each. This makes
maintenance much easier.
By doing this and updating each of the scripts to do the correct thing
if the script isn't being run in a git repository, it makes them work
much better for the releases, which are just released as a tarball,
without any attached git repository.
Change-Id: I61ba1cc4f7205e0d4baf993588bbc774120405cb
Signed-off-by: Martin Roth <martin@coreboot.org>
Reviewed-on: https://review.coreboot.org/c/coreboot/+/64973
Tested-by: build bot (Jenkins) <no-reply@coreboot.org>
Reviewed-by: Elyes Haouas <ehaouas@noos.fr>
Diffstat (limited to 'util/lint/lint-stable-009-old-licenses')
| -rwxr-xr-x | util/lint/lint-stable-009-old-licenses | 13 |
1 files changed, 10 insertions, 3 deletions
diff --git a/util/lint/lint-stable-009-old-licenses b/util/lint/lint-stable-009-old-licenses index 8226fdd642..0b772263fa 100755 --- a/util/lint/lint-stable-009-old-licenses +++ b/util/lint/lint-stable-009-old-licenses @@ -5,6 +5,15 @@ # DESCR: Verify that files don't have the old style header # regex list of files and directories to exclude from the search + +LINTDIR="$( + cd -- "$(dirname "$0")" > /dev/null 2>&1 || return + pwd -P +)" + +# shellcheck source=helper_functions.sh +. "${LINTDIR}/helper_functions.sh" + HEADER_EXCLUDED="\ ^src/lib/gnat/|\ ^src/vendorcode/|\ @@ -26,9 +35,7 @@ if [ -z "$HEADER_DIRS" ]; then HEADER_DIRS="src util tests" fi -LC_ALL=C export LC_ALL - -headerlist=$(git ls-files $HEADER_DIRS | egrep -v "($HEADER_EXCLUDED)") +headerlist=$(${FIND_FILES} $HEADER_DIRS | egrep -v "($HEADER_EXCLUDED)") #check for the old style header headerlist=$(grep -il "You should have received a copy of the GNU" \ |