jenkins-bot has submitted this change and it was merged. Change subject: mw-apply-settings: copy settings in dir log, not as a file ......................................................................
mw-apply-settings: copy settings in dir log, not as a file Change-Id: Ibbf4ffaf8a7b430e042f271e8a8b545a564edd6b --- M bin/mw-apply-settings.sh 1 file changed, 1 insertion(+), 1 deletion(-) Approvals: Hashar: Looks good to me, approved jenkins-bot: Verified diff --git a/bin/mw-apply-settings.sh b/bin/mw-apply-settings.sh index c40b39b..2eda3bb 100755 --- a/bin/mw-apply-settings.sh +++ b/bin/mw-apply-settings.sh @@ -5,7 +5,7 @@ php "$MEDIAWIKI_D/_join.php" >> "$LOCAL_SETTINGS" # Copy under /log for archival purposes -cp "$LOCAL_SETTINGS" "$WORKSPACE/log" +cp "$LOCAL_SETTINGS" "$WORKSPACE/log/" echo "Making sure $LOCAL_SETTINGS is still valid" php -l "$LOCAL_SETTINGS" -- To view, visit https://gerrit.wikimedia.org/r/90327 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: Ibbf4ffaf8a7b430e042f271e8a8b545a564edd6b 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
