# HG changeset patch
# User Gilles Duboscq <duboscq@ssw.jku.at>
# Date 1360085581 -3600
# Node ID cf27135ccf5b36a15b690493f4bdd79acf8e6492
# Parent  926635ea20ce3f6416aefa1d7dc5906b52ee76e8
Remove SPECjbb2013 from default benchmarks

diff -r 926635ea20ce -r cf27135ccf5b mx/commands.py
--- a/mx/commands.py	Tue Feb 05 17:59:25 2013 +0100
+++ b/mx/commands.py	Tue Feb 05 18:33:01 2013 +0100
@@ -966,7 +966,7 @@
     if ('specjbb2005' in args or 'all' in args):
         benchmarks += [sanitycheck.getSPECjbb2005()]
         
-    if ('specjbb2013' in args or 'all' in args):
+    if ('specjbb2013' in args): # or 'all' in args //currently not in default set
         benchmarks += [sanitycheck.getSPECjbb2013()]
 
     for test in benchmarks: