diff mx/commands.py @ 11179:e36f7e4af7bf

gate: add server optimized build
author Bernhard Urban <bernhard.urban@jku.at>
date Mon, 05 Aug 2013 14:53:00 +0200
parents 050eba23554e
children bd0e589a9a65
line wrap: on
line diff
--- a/mx/commands.py	Mon Aug 05 14:51:58 2013 +0200
+++ b/mx/commands.py	Mon Aug 05 14:53:00 2013 +0200
@@ -998,6 +998,7 @@
             t = Task('BuildHotSpotVarieties')
             buildvms(['--vms', 'client,server', '--builds', 'fastdebug,product'])
             buildvms(['--vms', 'server-nograal', '--builds', 'product'])
+            buildvms(['--vms', 'server-nograal', '--builds', 'optimized'])
             tasks.append(t.stop())
 
             for vmbuild in ['product', 'fastdebug']: