# HG changeset patch # User Mick Jordan # Date 1379997312 25200 # Node ID ec058ce90a3da5607b5600b558f1fc80b6df72d0 # Parent 78e6109ee4110e9c5331529f86378017112e8c06 pylint fixes diff -r 78e6109ee411 -r ec058ce90a3d mx/commands.py --- a/mx/commands.py Mon Sep 23 21:30:35 2013 -0700 +++ b/mx/commands.py Mon Sep 23 21:35:12 2013 -0700 @@ -1098,11 +1098,12 @@ if exists('jacoco.exec'): os.unlink('jacoco.exec') + global _jacoco if args.jacocout is not None: _jacoco = 'append' else: _jacoco = 'off' - + gate_body(args, tasks) except KeyboardInterrupt: @@ -1120,7 +1121,7 @@ mx.log(' ' + str(t.duration) + '\t' + t.title) mx.log(' =======') mx.log(' ' + str(total.duration)) - + def deoptalot(args): """bootstrap a fastdebug Graal VM with DeoptimizeALot and VerifyOops on