diff options
| author | Erich Eckner <git@eckner.net> | 2018-03-22 14:15:36 +0100 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2018-03-22 14:15:36 +0100 |
| commit | 7cc6dee8cfd91e44e7d6436e824937a8a0add008 (patch) | |
| tree | 3759cd1d044c91998c99bdcfe08f9561cecd3bc7 /lib | |
| parent | 850aa6b864bf0bc4065a49ccca446605f7d7adb4 (diff) | |
| download | builder-7cc6dee8cfd91e44e7d6436e824937a8a0add008.tar.xz | |
lib/common-functions: silence shellcheck
Diffstat (limited to 'lib')
| -rwxr-xr-x | lib/common-functions | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/lib/common-functions b/lib/common-functions index 8fc300f..e3aab4c 100755 --- a/lib/common-functions +++ b/lib/common-functions @@ -908,6 +908,7 @@ find_package_repository_to_package() { extract_source_directory() { local git_repo="$1" + # shellcheck disable=SC2034 local rev="$2" local mod_rev="$3" local output="$4" |