jenkins-bot has submitted this change and it was merged.
Change subject: ignore gzip errors when compressing log
......................................................................
ignore gzip errors when compressing log
Merely used to ignore:
Change-Id: I9fa09e91c564647cc51b68ba9874a63c5731fc03
gzip: log/*.log: No such file or directory
---
M bin/mw-run-phpunit-allexts.sh
M bin/mw-run-phpunit.sh
2 files changed, 2 insertions(+), 2 deletions(-)
Approvals:
Hashar: Looks good to me, approved
jenkins-bot: Verified
diff --git a/bin/mw-run-phpunit-allexts.sh b/bin/mw-run-phpunit-allexts.sh
index 6f9d1f4..9b505b8 100755
--- a/bin/mw-run-phpunit-allexts.sh
+++ b/bin/mw-run-phpunit-allexts.sh
@@ -13,7 +13,7 @@
# Make sure to compress MediaWiki log dir after phpunit has ran
function compress_log_dir() {
echo "Compressing logs under $LOG_DIR"
- gzip --verbose --best "$LOG_DIR"/*.log
+ gzip --verbose --best "$LOG_DIR"/*.log || :
}
trap compress_log_dir EXIT
diff --git a/bin/mw-run-phpunit.sh b/bin/mw-run-phpunit.sh
index 759664f..b565087 100755
--- a/bin/mw-run-phpunit.sh
+++ b/bin/mw-run-phpunit.sh
@@ -31,7 +31,7 @@
# Make sure to compress MediaWiki log dir after phpunit has ran
function compress_log_dir() {
echo "Compressing logs under $LOG_DIR"
- gzip --verbose --best "$LOG_DIR"/*.log
+ gzip --verbose --best "$LOG_DIR"/*.log || :
}
trap compress_log_dir EXIT
--
To view, visit https://gerrit.wikimedia.org/r/90337
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I9fa09e91c564647cc51b68ba9874a63c5731fc03
Gerrit-PatchSet: 1
Gerrit-Project: integration/jenkins
Gerrit-Branch: master
Gerrit-Owner: Hashar <[email protected]>
Gerrit-Reviewer: Hashar <[email protected]>
Gerrit-Reviewer: jenkins-bot
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
