# HG changeset patch
# User Doug Simon <doug.simon@oracle.com>
# Date 1397062324 -7200
# Node ID dfcb1a5a7b5a1295c79494d1039486cff22fc2f8
# Parent  bfad6492cce9721993d39056ea72a6899e3333ce
revived verbose option in jmh command

diff -r bfad6492cce9 -r dfcb1a5a7b5a mx/mx_graal.py
--- a/mx/mx_graal.py	Wed Apr 09 13:22:44 2014 +0200
+++ b/mx/mx_graal.py	Wed Apr 09 18:52:04 2014 +0200
@@ -1356,6 +1356,7 @@
     jmhArgJsons = [b for b in benchmarksAndJsons if b.startswith('{')]
 
     jmhArgs = {
+        '-v' : 'EXTRA' if mx._opts.verbose else 'NORMAL',
         '-f' : '1',
         '-i' : '10',
         '-wi' : '10'}