Giuseppe Lavagetto has uploaded a new change for review. (
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, 5 insertions(+), 0 deletions(-)
git pull ssh://gerrit.wikimedia.org:29418/operations/puppet
refs/changes/79/365579/1
diff --git a/utils/pcc b/utils/pcc
index 7a7bf69..f2bd331 100755
--- a/utils/pcc
+++ b/utils/pcc
@@ -109,6 +109,7 @@
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 +129,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: newchange
Gerrit-Change-Id: Ibd84723ba68fbfa0aab33fa7fbd68fc9ecb396d3
Gerrit-PatchSet: 1
Gerrit-Project: operations/puppet
Gerrit-Branch: production
Gerrit-Owner: Giuseppe Lavagetto <[email protected]>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
