# HG changeset patch
# User twisti
# Date 1385433626 28800
# Node ID c302ab46defe70e67e28092955b0420f5437c0dc
# Parent  f294b4ee2d47abae51a7013472b2869c07a57752
don't overwrite the values of HotSpotPrintCompilation and HotSpotPrintInlining

diff -r f294b4ee2d47 -r c302ab46defe graal/com.oracle.graal.hotspot/src/com/oracle/graal/hotspot/HotSpotGraalRuntime.java
--- a/graal/com.oracle.graal.hotspot/src/com/oracle/graal/hotspot/HotSpotGraalRuntime.java	Mon Nov 25 18:39:31 2013 -0800
+++ b/graal/com.oracle.graal.hotspot/src/com/oracle/graal/hotspot/HotSpotGraalRuntime.java	Mon Nov 25 18:40:26 2013 -0800
@@ -209,8 +209,15 @@
         if (config.compileTheWorldStopAt != Integer.MAX_VALUE) {
             GraalOptions.CompileTheWorldStopAt.setValue(config.compileTheWorldStopAt);
         }
-        GraalOptions.HotSpotPrintCompilation.setValue(config.printCompilation);
-        GraalOptions.HotSpotPrintInlining.setValue(config.printInlining);
+
+        // Only set HotSpotPrintCompilation and HotSpotPrintInlining if they still have their
+        // default value (false).
+        if (GraalOptions.HotSpotPrintCompilation.getValue() == false) {
+            GraalOptions.HotSpotPrintCompilation.setValue(config.printCompilation);
+        }
+        if (GraalOptions.HotSpotPrintInlining.getValue() == false) {
+            GraalOptions.HotSpotPrintInlining.setValue(config.printInlining);
+        }
 
         if (Boolean.valueOf(System.getProperty("graal.printconfig"))) {
             printConfig(config);