# HG changeset patch
# User Bernhard Urban <bernhard.urban@jku.at>
# Date 1375707180 -7200
# Node ID e36f7e4af7bfacbc5104b6d1543d10eddf9c8762
# Parent  d416f67d6f912e98dd22b633dd95d9559becf4e1
gate: add server optimized build

diff -r d416f67d6f91 -r e36f7e4af7bf mx/commands.py
--- 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']: