Merge PR #320: Fix GRAAL_HOME usage in ./som

smarr · Sep 6, 2019 · d73f3aa · d73f3aa
2 parents f6870f1 + 0106dad
commit d73f3aa
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/som b/som
@@ -161,8 +161,8 @@ java_bin = None
 
 if JVMCI_BIN:
   java_bin = JVMCI_BIN
-if not java_bin and GRAAL_HOME and os.path.isfile(graal_home + '/bin/java'):
-  java_bin = graal_home + '/bin/java'  
+if not java_bin and GRAAL_HOME and os.path.isfile(GRAAL_HOME + '/bin/java'):
+  java_bin = GRAAL_HOME + '/bin/java'  
 
 if not java_bin:
     # use local JVMCI, which ant already needed