changeset 13171:c302ab46defe

don't overwrite the values of HotSpotPrintCompilation and HotSpotPrintInlining
author twisti
date Mon, 25 Nov 2013 18:40:26 -0800
parents f294b4ee2d47
children bc868f83bcec
files graal/com.oracle.graal.hotspot/src/com/oracle/graal/hotspot/HotSpotGraalRuntime.java
diffstat 1 files changed, 9 insertions(+), 2 deletions(-) [+]
line wrap: on
line diff
--- 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);