# HG changeset patch # User Stefan Anzinger # Date 1434366095 -7200 # Node ID 28debbb6496d31dd6aa8c6b9092addff0c9a5738 # Parent 1e0012efac839345d7117c3785863140cfa6cc36 Don't apply os.path.realpath to the boot classpath diff -r 1e0012efac83 -r 28debbb6496d mx/mx_graal_makefile.py --- a/mx/mx_graal_makefile.py Mon Jun 15 13:45:35 2015 +0200 +++ b/mx/mx_graal_makefile.py Mon Jun 15 13:01:35 2015 +0200 @@ -155,7 +155,7 @@ def do_build_makefile(mf, selectedDists, commandline): java = mx.java() - bootClassPath = os.path.realpath(java.bootclasspath()) + bootClassPath = java.bootclasspath() bootClassPath = bootClassPath.replace(os.path.realpath(java.jdk), "$(ABS_BOOTDIR)") jdkBootClassPathVariableName = "JDK_BOOTCLASSPATH"