# HG changeset patch # User Mick Jordan # Date 1437691838 25200 # Node ID 29bcf1fe3954f54c68ad02e037422e4dee2fdbbf # Parent ccee68149d93d01cb4be55623aa3d123e9530970 pylint fix diff -r ccee68149d93 -r 29bcf1fe3954 mx.jvmci/mx_jvmci.py --- a/mx.jvmci/mx_jvmci.py Thu Jul 23 18:31:14 2015 +0200 +++ b/mx.jvmci/mx_jvmci.py Thu Jul 23 15:50:38 2015 -0700 @@ -1130,7 +1130,7 @@ mx.log('END: ' + v + '-' + vmbuild + '\t[' + str(duration) + ']') else: with VM(v, vmbuild): - build() + build([]) if not args.no_check: vmargs = ['-version'] if v == 'jvmci':