# HG changeset patch # User Roland Schatz # Date 1438010382 -7200 # Node ID aef178739a239a519e4238c74404db8c19e4c940 # Parent fa6dd3cadaaff8c59df96f4b98c2e4e7851334c0 Fix name of gate task. diff -r fa6dd3cadaaf -r aef178739a23 mx.jvmci/mx_jvmci.py --- a/mx.jvmci/mx_jvmci.py Mon Jul 27 16:43:01 2015 +0200 +++ b/mx.jvmci/mx_jvmci.py Mon Jul 27 17:19:42 2015 +0200 @@ -1166,7 +1166,7 @@ if t: unittest(['--suite', 'jvmci', '--enable-timing', '--verbose', '--fail-fast']) # Build the other VM flavors - with Task('BuildHotSpotGraalOthers: fastdebug,product', tasks) as t: + with Task('BuildHotSpotJVMCIOthers: fastdebug,product', tasks) as t: if t: buildvms(['--vms', 'jvmci,server', '--builds', 'fastdebug,product']) with Task('CleanAndBuildIdealGraphVisualizer', tasks, disableJacoco=True) as t: