jenkins-bot has submitted this change and it was merged.
Change subject: /var/lib/jenkins/ --> /srv/slave-scripts/
......................................................................
/var/lib/jenkins/ --> /srv/slave-scripts/
Change-Id: I6101ca509658a7527e6dd0bedd81e574deae26df
---
M bin/run-phpcs-mw.sh
1 file changed, 2 insertions(+), 2 deletions(-)
Approvals:
Hashar: Looks good to me, approved
jenkins-bot: Verified
diff --git a/bin/run-phpcs-mw.sh b/bin/run-phpcs-mw.sh
index 9f2266e..d11b983 100755
--- a/bin/run-phpcs-mw.sh
+++ b/bin/run-phpcs-mw.sh
@@ -61,7 +61,7 @@
done
if $HEAD_ONLY; then
- PHPCS_FILES=$(/var/lib/jenkins/bin/git-changed-in-head "${PHP_EXTS[@]}")
+ PHPCS_FILES=$(/srv/slave-scripts/bin/git-changed-in-head
"${PHP_EXTS[@]}")
if [[ -z "$PHPCS_FILES" ]]; then
echo "Skipping phpcs run on HEAD: no file matching '$PHP_EXTS'"
exit 0
@@ -83,7 +83,7 @@
set -xe
phpcs -v -s $PHPCS_FILES \
--encoding=utf-8 \
- --standard=/var/lib/jenkins/tools/mwcodesniffer/MediaWiki \
+ --standard=/srv/slave-scripts/tools/mwcodesniffer/MediaWiki \
$PHPCS_OPTS \
--ignore=$IGNORE_WITH_SEP \
--report-checkstyle=checkstyle-phpcs.xml \
--
To view, visit https://gerrit.wikimedia.org/r/92632
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I6101ca509658a7527e6dd0bedd81e574deae26df
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
