diff options
| author | Erich Eckner <git@eckner.net> | 2018-05-08 09:56:03 +0200 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2018-05-08 09:56:03 +0200 |
| commit | 61b1a165073ef79ef588c8606f8bc94785e4db6d (patch) | |
| tree | d3cc39e11aec71790c63f4a63cdc045cdc4669a5 /bin/check-bugtracker | |
| parent | 936c9161dce0d01b0c47a406085c2e46e6d35040 (diff) | |
| download | builder-61b1a165073ef79ef588c8606f8bc94785e4db6d.tar.xz | |
lib/mysql-functions: mysql_package_name_query make table names customizable
Diffstat (limited to 'bin/check-bugtracker')
| -rwxr-xr-x | bin/check-bugtracker | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/bin/check-bugtracker b/bin/check-bugtracker index e77b47c..75f4995 100755 --- a/bin/check-bugtracker +++ b/bin/check-bugtracker @@ -4,7 +4,8 @@ # with issues and mark these packages as "has_issues" if they are faulty # and vice versa -# shellcheck disable=SC2039 +# shellcheck disable=SC2039,SC2119,SC2120 + # shellcheck source=../conf/default.conf . "${0%/*}/../conf/default.conf" |