# HG changeset patch
# User Bernhard Urban <bernhard.urban@jku.at>
# Date 1371455310 -7200
# Node ID 0d378ea2b822b67e1803b29a07eb2e77ebe32884
# Parent  295ef03139f488cd44beba1feb8c8fee5f1a5c80
gate: enable verification for aot

diff -r 295ef03139f4 -r 0d378ea2b822 mx/commands.py
--- a/mx/commands.py	Sun Jun 16 23:55:22 2013 +0200
+++ b/mx/commands.py	Mon Jun 17 09:48:30 2013 +0200
@@ -1046,7 +1046,7 @@
 
         _vmbuild = 'product'
         t = Task('BootstrapWithAOTConfiguration:product')
-        vm(['-G:+AOTCompilation', '-esa', '-version'])
+        vm(['-G:+AOTCompilation', '-G:+VerifyPhases', '-esa', '-version'])
         tasks.append(t.stop())
 
         originalVm = _vm