# HG changeset patch
# User Lukas Stadler <lukas.stadler@jku.at>
# Date 1364206688 -3600
# Node ID 676a85b654814517909e39e8ccdb003965b7a508
# Parent  ed38b01ce7bcdb1b4ddb21c2e6652f64482ab865
allow Graal options to be passed to "mx bench"

diff -r ed38b01ce7bc -r 676a85b65481 mx/commands.py
--- a/mx/commands.py	Mon Mar 25 11:15:52 2013 +0100
+++ b/mx/commands.py	Mon Mar 25 11:18:08 2013 +0100
@@ -1025,7 +1025,7 @@
     vm = _vm
     if len(args) is 0:
         args = ['all']
-        
+    
     vmArgs = [arg for arg in args if arg.startswith('-')]
 
     def benchmarks_in_group(group):