Hashar has uploaded a new change for review. https://gerrit.wikimedia.org/r/90327
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(-) git pull ssh://gerrit.wikimedia.org:29418/integration/jenkins refs/changes/27/90327/1 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: newchange Gerrit-Change-Id: Ibbf4ffaf8a7b430e042f271e8a8b545a564edd6b Gerrit-PatchSet: 1 Gerrit-Project: integration/jenkins Gerrit-Branch: master Gerrit-Owner: Hashar <[email protected]> _______________________________________________ MediaWiki-commits mailing list [email protected] https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
