diff options
author | Erich Eckner <git@eckner.net> | 2017-08-30 21:10:11 +0200 |
---|---|---|
committer | Erich Eckner <git@eckner.net> | 2017-08-30 21:10:11 +0200 |
commit | ab5f85641b5be521a126770bb356a3b78f425b59 (patch) | |
tree | 46299688ee6bd6d7029038a758ac99bcd77a7e0a /bin | |
parent | 703b9f1ca5fe85dabd70761966f1367cac173eaf (diff) | |
download | builder-ab5f85641b5be521a126770bb356a3b78f425b59.tar.xz |
conf/default.conf: new variables holding stable-, standalone-, testing- and staging-packages
Diffstat (limited to 'bin')
-rwxr-xr-x | bin/sanity-check | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/bin/sanity-check b/bin/sanity-check index 6ce0565..74ef8d7 100755 --- a/bin/sanity-check +++ b/bin/sanity-check @@ -31,6 +31,7 @@ eval set -- "$( )" silence=0 +repos="${standalone_package_repositories} ${stable_package_repositories} ${testing_package_repositories} ${staging_package_repositories}" while true do @@ -127,8 +128,6 @@ while [ $# -gt 0 ]; do [ ${silence} -gt 0 ] || \ >&2 printf 'checking repos on master mirror ...' - repos='build-support community-staging community-testing community core extra gnome-unstable kde-unstable staging testing' - errors=$( ( # shellcheck disable=SC2086 |