# HG changeset patch
# User Bernhard Urban <bernhard.urban@jku.at>
# Date 1371045882 -7200
# Node ID 893bc1dbb58c6fd47f744c8ef4b142631da7aa79
# Parent  b5c87b5c6e9c74c00fe84b4d57beb3369f05379e
gate: add bootstrap with aot configuration to gate check

diff -r b5c87b5c6e9c -r 893bc1dbb58c mx/commands.py
--- a/mx/commands.py	Wed Jun 12 16:04:42 2013 +0200
+++ b/mx/commands.py	Wed Jun 12 16:04:42 2013 +0200
@@ -1044,6 +1044,11 @@
         vm(['-G:RegisterPressure=rbx,r11,r14,xmm3,xmm11,xmm14', '-esa', '-version'])
         tasks.append(t.stop())
 
+        _vmbuild = 'product'
+        t = Task('BootstrapWithAOTConfiguration:product')
+        vm(['-G:+AOTCompilation', '-esa', '-version'])
+        tasks.append(t.stop())
+
         originalVm = _vm
         _vm = 'server' # hosted mode
         t = Task('UnitTests:hosted-product')