diff options
author | Erich Eckner <git@eckner.net> | 2017-06-21 09:55:11 +0200 |
---|---|---|
committer | Erich Eckner <git@eckner.net> | 2017-06-21 09:55:11 +0200 |
commit | 6848e4469cda0046022cfff2a9484cedf9bc0d12 (patch) | |
tree | 8cdefa7d82d30bac0ce47a3cda35e398898f09ad | |
parent | 20c43882cc767155c01459dad10eb717c9dcafb8 (diff) | |
download | builder-6848e4469cda0046022cfff2a9484cedf9bc0d12.tar.xz |
bin/build-packages: first gzip, then tar
-rwxr-xr-x | bin/build-packages | 9 |
1 files changed, 6 insertions, 3 deletions
diff --git a/bin/build-packages b/bin/build-packages index 3d9853e..54dbb1c 100755 --- a/bin/build-packages +++ b/bin/build-packages @@ -247,14 +247,17 @@ while [ ${count} -ne 0 ]; do done if ! ${success}; then - tar -czf 'build-logs.tar.gz' \ - *'.build-log' + for log in *.'.build-log'; do + gzip "${log}" + done + tar -cf 'build-logs.gz.tar' \ + *'.build-log.gz' while ! ssh \ -i "${master_build_server_identity}" \ -p "${master_build_server_port}" \ "${master_build_server_user}@${master_build_server}" \ 'return-assignment' "${package}" "${git_revision}" "${mod_git_revision}" "${repository}" 'ERROR' < \ - 'build-logs.tar.gz'; do + 'build-logs.gz.tar'; do wait_some_time 15 done if ${exit_after_failure}; then |