diff options
author | Holger Levsen <holger@layer-acht.org> | 2016-11-07 20:08:21 +0100 |
---|---|---|
committer | Holger Levsen <holger@layer-acht.org> | 2016-11-07 20:08:21 +0100 |
commit | 22bfe3a580b312d0261d0a0402a4643bf03fedc3 (patch) | |
tree | 53402c2e434ceecf07e2fd53b30ad8e35a509e96 | |
parent | 93e4caab1067b82f74f0dcdd60c51905ef35369b (diff) | |
download | jenkins.debian.net-22bfe3a580b312d0261d0a0402a4643bf03fedc3.tar.xz |
reproducible Debian: improve output
-rwxr-xr-x | bin/reproducible_create_meta_pkg_sets.sh | 11 |
1 files changed, 6 insertions, 5 deletions
diff --git a/bin/reproducible_create_meta_pkg_sets.sh b/bin/reproducible_create_meta_pkg_sets.sh index e918c210..a3a7bee8 100755 --- a/bin/reproducible_create_meta_pkg_sets.sh +++ b/bin/reproducible_create_meta_pkg_sets.sh @@ -62,8 +62,9 @@ convert_from_deb822_into_source_packages_only() { } update_target() { + local MESSAGE="$1" mv $TMPFILE $TARGET - echo "$(date -u) - $TARGET updated." + echo "$(date -u) - $TARGET updated. ($MESSAGE)" } update_if_similar() { @@ -97,11 +98,11 @@ update_if_similar() { echo echo "=============================================================================" else - update_target + update_target "old: $LENGTH source packages, new: $NEWLEN" fi else # target does not exist, create it - update_target + update_target "newly created" fi else echo "$(date -u) - $TARGET not updated, $TMPFILE is empty." @@ -126,12 +127,12 @@ get_installable_set() { progress_info_begin() { local table=$1 - echo "$(date -u) - Checking ${META_PKGSET[$table]}.pkgset for updates." + echo "$(date -u) - Checking ${META_PKGSET[$table]}.pkgset for updates in $SUITE." } progress_info_end() { local table=$1 - echo "$(date -u) - Done checking ${META_PKGSET[$table]}.pkgset for updates." + echo "$(date -u) - work on${META_PKGSET[$table]}.pkgset done." echo "=============================================================================" } |