# HG changeset patch
# User Gilles Duboscq <duboscq@ssw.jku.at>
# Date 1335348112 -7200
# Node ID 31fc6b6c042584819f25a7298bc39f6f3b439825
# Parent  2cf9e7d965d649007826aec7996fc9c2c1760c92
Pass -v argument to SPECjvm2008 harness

diff -r 2cf9e7d965d6 -r 31fc6b6c0425 mx/commands.py
--- a/mx/commands.py	Wed Apr 25 12:00:52 2012 +0200
+++ b/mx/commands.py	Wed Apr 25 12:01:52 2012 +0200
@@ -916,6 +916,9 @@
     wt = None
     it = None
     skipValid = False
+    if '-v' in vmArgs:
+        vmArgs.remove('-v')
+        benchArgs.append('-v')
     if '-ikv' in vmArgs:
         skipValid = True
         vmArgs.remove('-ikv')