# HG changeset patch
# User Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
# Date 1366979135 -7200
# Node ID ea24896c95c95d3daa3926b8a8de2de9eb3c925a
# Parent  712d583d0d21d13de67f08064831faf85d94a77d
Disable ScalaDacapo-actors benchmark.

diff -r 712d583d0d21 -r ea24896c95c9 mx/sanitycheck.py
--- a/mx/sanitycheck.py	Fri Apr 26 14:15:17 2013 +0200
+++ b/mx/sanitycheck.py	Fri Apr 26 14:25:35 2013 +0200
@@ -47,7 +47,8 @@
 }
 
 dacapoScalaSanityWarmup = {
-    'actors':     [0, 0, 2,  8, 10],
+# (tw) actors sometimes fails verification; hardly reproducible
+    'actors':     [0, 0, 0,  0,  0],
 # (lstadler) apparat was disabled due to a deadlock which I think is the benchmarks fault.
     'apparat':    [0, 0, 0,  0,  0],
     'factorie':   [0, 0, 2,  5,  5],