changeset 11179:e36f7e4af7bf

gate: add server optimized build
author Bernhard Urban <bernhard.urban@jku.at>
date Mon, 05 Aug 2013 14:53:00 +0200
parents d416f67d6f91
children 86af3ced0fce f4601ec50637 f6a66a518e8a
files mx/commands.py
diffstat 1 files changed, 1 insertions(+), 0 deletions(-) [+]
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']: