diff options
author | Erich Eckner <git@eckner.net> | 2020-10-20 16:50:54 +0200 |
---|---|---|
committer | Erich Eckner <git@eckner.net> | 2020-10-20 16:50:54 +0200 |
commit | 6541883a54297ab403e5b28eb896a366a7decd19 (patch) | |
tree | 6ee8fd782ba5f840f7194d006f64ea13682afc51 | |
parent | 07516235f1b303534995cf153d02882953895dfa (diff) | |
download | builder-6541883a54297ab403e5b28eb896a366a7decd19.tar.xz |
bin/get-package-updates: make shellcheck happy
-rwxr-xr-x | bin/get-package-updates | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/bin/get-package-updates b/bin/get-package-updates index 2b42144..8e7e4ef 100755 --- a/bin/get-package-updates +++ b/bin/get-package-updates @@ -323,6 +323,7 @@ echo 'Check modified packages from the last update, and put them to the build li eval 'git_dir="${repo_paths__'"${git_repository}"'}"' # TODO: maybe, we want to exclude our own packages here, too? But why # would they be black listed in the first place? + # shellcheck disable=SC2154 if git -C "${git_dir}" archive "${git_rev}" -- "${pkgbase}/repos" \ | tar -tf - \ | grep -q -- '-\(any\|x86_64\)/PKGBUILD$'; then |