Giuseppe Lavagetto has submitted this change and it was merged. (
https://gerrit.wikimedia.org/r/365579 )
Change subject: utils/pcc: add --future argument
......................................................................
utils/pcc: add --future argument
Change-Id: Ibd84723ba68fbfa0aab33fa7fbd68fc9ecb396d3
---
M utils/pcc
1 file changed, 8 insertions(+), 0 deletions(-)
Approvals:
Giuseppe Lavagetto: Looks good to me, approved
jenkins-bot: Verified
diff --git a/utils/pcc b/utils/pcc
index 7a7bf69..6e77b47 100755
--- a/utils/pcc
+++ b/utils/pcc
@@ -14,6 +14,8 @@
Optional arguments:
--api-token TOKEN Jenkins API token. Defaults to JENKINS_API_TOKEN.
--username USERNAME Jenkins user name. Defaults to JENKINS_USERNAME.
+ --future If present, will run the change through the future
+ parser
Examples:
$ pcc latest mw1031,mw1032
@@ -109,6 +111,8 @@
help='Jenkins API token. Defaults to JENKINS_API_TOKEN.')
ap.add_argument('--username', default=os.environ.get('JENKINS_USERNAME'),
help='Jenkins user name. Defaults to JENKINS_USERNAME.')
+ap.add_argument('--future', action='store_true',
+ help='Check compilation against the future parser as well.')
args = ap.parse_args()
if not args.api_token or not args.username:
@@ -128,6 +132,10 @@
'GERRIT_CHANGE_NUMBER': str(args.change),
'LIST_OF_NODES': args.nodes,
}
+
+if args.future:
+ build_params['COMPILER_MODE'] = 'change,future'
+
invocation = job.invoke(build_params=build_params)
try:
--
To view, visit https://gerrit.wikimedia.org/r/365579
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: Ibd84723ba68fbfa0aab33fa7fbd68fc9ecb396d3
Gerrit-PatchSet: 3
Gerrit-Project: operations/puppet
Gerrit-Branch: production
Gerrit-Owner: Giuseppe Lavagetto <[email protected]>
Gerrit-Reviewer: Giuseppe Lavagetto <[email protected]>
Gerrit-Reviewer: Volans <[email protected]>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
