changeset 10067:0d378ea2b822

gate: enable verification for aot
author Bernhard Urban <bernhard.urban@jku.at>
date Mon, 17 Jun 2013 09:48:30 +0200
parents 295ef03139f4
children 529570e20aff
files mx/commands.py
diffstat 1 files changed, 1 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- 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