diff options
author | Erich Eckner <git@eckner.net> | 2017-09-01 10:52:01 +0200 |
---|---|---|
committer | Erich Eckner <git@eckner.net> | 2017-09-01 10:52:01 +0200 |
commit | f043383f96580cc276eca3cda49fa2a3ebbd2409 (patch) | |
tree | 30317212c1e4ef6cc7efaccd09645f988a0a1eec | |
parent | 7555ed7e9249ae3eefdb40954d37119d9c6fc03f (diff) | |
download | builder-f043383f96580cc276eca3cda49fa2a3ebbd2409.tar.xz |
bin/build-packages: if package should not be uploaded, show logs of failed builds instead of uploading them
-rwxr-xr-x | bin/build-packages | 9 |
1 files changed, 7 insertions, 2 deletions
diff --git a/bin/build-packages b/bin/build-packages index 8660346..654da8d 100755 --- a/bin/build-packages +++ b/bin/build-packages @@ -330,10 +330,15 @@ while [ "${count}" -ne 0 ]; do if ! ${success}; then for log in *'.build-log'; do if [ -f "${log}" ]; then - gzip "${log}" + if ${upload_to_build_master}; then + gzip "${log}" + else + grep -HF '' "${log}" + fi fi done - if tar -cf 'build-logs.gz.tar' \ + if ${upload_to_build_master} && \ + tar -cf 'build-logs.gz.tar' \ -- *'.build-log.gz'; then while ! ssh \ -i "${master_build_server_identity}" \ |