diff mx/mx_graal.py @ 21671:8d0c2aabfc2d

missed Graal -> JVMCI renamings
author Doug Simon <doug.simon@oracle.com>
date Tue, 02 Jun 2015 19:11:34 +0200
parents 57912478d94d
children dd987b035a0b
line wrap: on
line diff
--- a/mx/mx_graal.py	Tue Jun 02 23:20:46 2015 +0200
+++ b/mx/mx_graal.py	Tue Jun 02 19:11:34 2015 +0200
@@ -614,9 +614,9 @@
 def _updateJVMCIFiles(jdkDir):
     jreJVMCIDir = join(jdkDir, 'jre', 'lib', 'jvmci')
     jvmciJars = [join(jreJVMCIDir, e) for e in os.listdir(jreJVMCIDir) if e.endswith('.jar')]
-    jreGraalServicesDir = join(jreJVMCIDir, 'services')
-    jreGraalOptionsDir = join(jreJVMCIDir, 'options')
-    _extractJVMCIFiles(_getJdkDeployedJars(jdkDir), jvmciJars, jreGraalServicesDir, jreGraalOptionsDir)
+    jreJVMCIServicesDir = join(jreJVMCIDir, 'services')
+    jreJVMCIOptionsDir = join(jreJVMCIDir, 'options')
+    _extractJVMCIFiles(_getJdkDeployedJars(jdkDir), jvmciJars, jreJVMCIServicesDir, jreJVMCIOptionsDir)
 
 def _patchGraalVersionConstant(dist):
     """