Mercurial > hg > graal-jvmci-8

comparison mx.jvmci/mx_jvmci.py @ 22511:df5a7841f92a

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
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
comparison
equal deleted inserted replaced
22510:45723ab25426 22511:df5a7841f92a
593 593
594 def _updateInstalledJVMCIOptionsFile(jdkDir): 594 def _updateInstalledJVMCIOptionsFile(jdkDir):
595 jvmciOptions = join(_suite.dir, 'jvmci.options') 595 jvmciOptions = join(_suite.dir, 'jvmci.options')
596 jreLibDir = join(jdkDir, 'jre', 'lib') 596 jreLibDir = join(jdkDir, 'jre', 'lib')
597 if exists(jvmciOptions): 597 if exists(jvmciOptions):
598 shutil.copy(jvmciOptions, join(jreLibDir, 'jvmci.options')) 598 shutil.copy(jvmciOptions, join(jreLibDir, 'jvmci', 'options'))
599 else: 599 else:
600 toDelete = join(jreLibDir, 'jvmci.options') 600 toDelete = join(jreLibDir, 'jvmci', 'options')
601 if exists(toDelete): 601 if exists(toDelete):
602 os.unlink(toDelete) 602 os.unlink(toDelete)
603 603
604 def copyToJdk(src, dst, permissions=JDK_UNIX_PERMISSIONS_FILE): 604 def copyToJdk(src, dst, permissions=JDK_UNIX_PERMISSIONS_FILE):
605 name = os.path.basename(src) 605 name = os.path.basename(src)