diff options
author | Holger Levsen <holger@layer-acht.org> | 2015-04-03 12:55:52 +0200 |
---|---|---|
committer | Holger Levsen <holger@layer-acht.org> | 2015-04-03 12:55:52 +0200 |
commit | a5fd4e8ea66f1df71269885882668cdd4aa76812 (patch) | |
tree | 42bee97165dbf5398ae268dd62ec947601948136 /bin | |
parent | bcc697c4ebb0f7ae0098607bd0b38773ee7bdf59 (diff) | |
download | jenkins.debian.net-a5fd4e8ea66f1df71269885882668cdd4aa76812.tar.xz |
reproducible: continue updating meta pkg sets even if one fails
Diffstat (limited to 'bin')
-rwxr-xr-x | bin/reproducible_create_meta_pkg_sets.sh | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/bin/reproducible_create_meta_pkg_sets.sh b/bin/reproducible_create_meta_pkg_sets.sh index 67a3307e..e38c4bc7 100755 --- a/bin/reproducible_create_meta_pkg_sets.sh +++ b/bin/reproducible_create_meta_pkg_sets.sh @@ -56,13 +56,13 @@ update_if_similar() { echo diff $TARGET $TARGET.new diff $TARGET $TARGET.new || true echo - echo "Too much difference for $TARGET, aborting. Please investigate and update manually." + echo "Warning: too much difference for $TARGET, aborting. Please investigate and update manually." rm $TARGET.new - exit 1 + else + mv $TMPFILE $TARGET + echo "$(date) - $TARGET updated." fi fi - mv $TMPFILE $TARGET - echo "$(date) - $TARGET updated." else echo "$(date) - $TARGET not updated, $TMPFILE is empty." fi @@ -286,7 +286,7 @@ for SUITE in $SUITES ; do # finally update_pkg_sets - echo "$(date) - All meta package sets for $SUITE created successfully." + echo "$(date) - Done updating all meta package sets for $SUITE." done rm -f $TMPFILE ${TMPFILE2} |