diff options
| author | Erich Eckner <git@eckner.net> | 2017-07-04 21:30:48 +0200 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2017-07-04 21:30:48 +0200 |
| commit | 3879e93aea4eee99ac221503e1a5c59be0b8dfbd (patch) | |
| tree | 733c8bd70158a40ea3939762e45254f80ec35a7c /bin/sanity-check | |
| parent | 80928ebb87771fda024e8c06766cad21843b8de9 (diff) | |
| download | builder-3879e93aea4eee99ac221503e1a5c59be0b8dfbd.tar.xz | |
bin/sanity-check: add build-support repository
Diffstat (limited to 'bin/sanity-check')
| -rwxr-xr-x | bin/sanity-check | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/bin/sanity-check b/bin/sanity-check index 4b3cc36..753f877 100755 --- a/bin/sanity-check +++ b/bin/sanity-check @@ -121,7 +121,7 @@ while [ $# -gt 0 ]; do [ ${silence} -gt 0 ] || \ >&2 printf 'sanity-check: checking repos on master mirror ...' - repos='community-staging community-testing community core extra gnome-unstable kde-unstable staging testing' + repos='build-support community-staging community-testing community core extra gnome-unstable kde-unstable staging testing' errors="$( ( |