--- old/graal/com.oracle.graal.hotspot/src/com/oracle/graal/hotspot/HotSpotGraalRuntime.java	2013-04-10 13:35:24.000000000 -0700
+++ new/graal/com.oracle.graal.hotspot/src/com/oracle/graal/hotspot/HotSpotGraalRuntime.java	2013-04-10 13:35:23.000000000 -0700
@@ -138,6 +138,10 @@
         config = new HotSpotVMConfig();
         compilerToVm.initializeConfiguration(config);
         config.check();
+        
+        // Set some global options:
+        GraalOptions.HotSpotPrintCompilation = config.printCompilation;
+        GraalOptions.HotSpotPrintInlining = config.printInlining;
 
         if (Boolean.valueOf(System.getProperty("graal.printconfig"))) {
             printConfig(config);