jenkins-bot has submitted this change and it was merged. (
https://gerrit.wikimedia.org/r/333389 )
Change subject: mw-phpunit.sh: prevents word splitting in JUNIT_DEST
......................................................................
mw-phpunit.sh: prevents word splitting in JUNIT_DEST
With a multi configuration job, the workspace path migth have spaces.
Double quote to prevent word splitting.
Change-Id: I2c703e4c31b28b2917cc92701bd38571ec4597be
---
M bin/mw-phpunit.sh
1 file changed, 1 insertion(+), 1 deletion(-)
Approvals:
Hashar: Looks good to me, approved
jenkins-bot: Verified
diff --git a/bin/mw-phpunit.sh b/bin/mw-phpunit.sh
index cde5423..123db52 100755
--- a/bin/mw-phpunit.sh
+++ b/bin/mw-phpunit.sh
@@ -38,5 +38,5 @@
php -d zend.enable_gc=0 \
phpunit.php \
- --log-junit $JUNIT_DEST \
+ --log-junit "$JUNIT_DEST" \
"${phpunit_args[@]:-}"
--
To view, visit https://gerrit.wikimedia.org/r/333389
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I2c703e4c31b28b2917cc92701bd38571ec4597be
Gerrit-PatchSet: 2
Gerrit-Project: integration/jenkins
Gerrit-Branch: master
Gerrit-Owner: Hashar <has...@free.fr>
Gerrit-Reviewer: Hashar <has...@free.fr>
Gerrit-Reviewer: Paladox <thomasmulhall...@yahoo.com>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
