index : builder | |
Archlinux32 build system | gitolite user |
summaryrefslogtreecommitdiff |
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/prioritize-build-list | |
parent | 936c9161dce0d01b0c47a406085c2e46e6d35040 (diff) |
-rwxr-xr-x | bin/prioritize-build-list | 2 |
diff --git a/bin/prioritize-build-list b/bin/prioritize-build-list index ef8e4b7..4138534 100755 --- a/bin/prioritize-build-list +++ b/bin/prioritize-build-list @@ -1,5 +1,7 @@ #!/bin/sh +# shellcheck disable=SC2119,SC2120 + # shellcheck source=../conf/default.conf . "${0%/*}/../conf/default.conf" |