diff options
| author | Erich Eckner <git@eckner.net> | 2022-05-18 21:23:22 +0200 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2022-05-18 21:23:22 +0200 |
| commit | fd01e709dca462a052fec404a7887545b635223d (patch) | |
| tree | 84b47177682803dc04dbf2fd04de530e46d754f8 /lib | |
| parent | e7df9a4f5aa42a5a59fe715365532cc9323c77e9 (diff) | |
| download | builder-fd01e709dca462a052fec404a7887545b635223d.tar.xz | |
make linter happy
Diffstat (limited to 'lib')
| -rwxr-xr-x | lib/common-functions | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/lib/common-functions b/lib/common-functions index d16c61d..eb61e9e 100755 --- a/lib/common-functions +++ b/lib/common-functions @@ -277,8 +277,8 @@ remove_old_package_versions() { # wait between minimum and minimum+diff seconds (diff defaults to 30) wait_some_time() { - local minimum=$1 - local diff=$2 + local minimum="$1" + local diff="$2" local random if [ -z "${diff}" ]; then @@ -358,6 +358,7 @@ make_source_info() { p ' "${tmp_dir}/SRCINFO" )" + # shellcheck disable=SC2031 sed -i ' /^pkgname = /! b /= gtk-doc$/ b |