Mercurial > hg > graal-jvmci-8
diff mx.jvmci/mx_jvmci.py @ 22511:df5a7841f92a
revived support for specifying JVMCI options in <jre>/lib/jvmci/options
| author | Doug Simon <doug.simon@oracle.com> |
|---|---|
| date | Thu, 03 Sep 2015 14:47:36 +0200 |
| parents | 63b12d69147d |
| children | 1852abfbaca3 |
line wrap: on
line diff
--- a/mx.jvmci/mx_jvmci.py Thu Sep 03 12:03:25 2015 +0200 +++ b/mx.jvmci/mx_jvmci.py Thu Sep 03 14:47:36 2015 +0200 @@ -595,9 +595,9 @@ jvmciOptions = join(_suite.dir, 'jvmci.options') jreLibDir = join(jdkDir, 'jre', 'lib') if exists(jvmciOptions): - shutil.copy(jvmciOptions, join(jreLibDir, 'jvmci.options')) + shutil.copy(jvmciOptions, join(jreLibDir, 'jvmci', 'options')) else: - toDelete = join(jreLibDir, 'jvmci.options') + toDelete = join(jreLibDir, 'jvmci', 'options') if exists(toDelete): os.unlink(toDelete)