From a1f8ee5de02cd75304ee26ad5bbb70ba08d33411 Mon Sep 17 00:00:00 2001 From: Erich Eckner Date: Thu, 6 Jul 2017 09:36:14 +0200 Subject: bin/sanity-check: cleanup --- bin/sanity-check | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) (limited to 'bin/sanity-check') diff --git a/bin/sanity-check b/bin/sanity-check index 753f877..36ac0eb 100755 --- a/bin/sanity-check +++ b/bin/sanity-check @@ -64,7 +64,7 @@ while [ $# -gt 0 ]; do build-list) [ ${silence} -gt 0 ] || \ - >&2 printf 'sanity-check: checking build-list ...' + >&2 printf 'checking build-list ...' errors="$( grep -vn '^\S\+ [0-9a-f]\{40\} [0-9a-f]\{40\} \S\+$\|^break_loops$' "${work_dir}/build-list" @@ -119,7 +119,7 @@ while [ $# -gt 0 ]; do repos) [ ${silence} -gt 0 ] || \ - >&2 printf 'sanity-check: checking repos on master mirror ...' + >&2 printf 'checking repos on master mirror ...' repos='build-support community-staging community-testing community core extra gnome-unstable kde-unstable staging testing' @@ -295,7 +295,7 @@ while [ $# -gt 0 ]; do *) [ ${silence} -gt 1 ] || \ - >&2 printf 'sanity-check: unknown check "%s".\n' "$1" + >&2 printf 'unknown sanity-check "%s".\n' "$1" exit 2 ;; -- cgit v1.2.3-54-g00ecf