comparison mx.graal/mx_graal.py @ 22077:c105214b91d5

Ignore errors when deleting directory tree for JVMCI
author Tom Rodriguez <tom.rodriguez@oracle.com>
date Tue, 23 Jun 2015 22:19:33 -0700
parents 0e095e2c24e2
children 59b0fd9e6b27
comparison
equal deleted inserted replaced
22076:65f36f248700 22077:c105214b91d5
547 shutil.move(tmp, dstLib) 547 shutil.move(tmp, dstLib)
548 os.chmod(dstLib, permissions) 548 os.chmod(dstLib, permissions)
549 549
550 def _extractJVMCIFiles(jdkJars, jvmciJars, servicesDir, optionsDir): 550 def _extractJVMCIFiles(jdkJars, jvmciJars, servicesDir, optionsDir):
551 if exists(servicesDir): 551 if exists(servicesDir):
552 shutil.rmtree(servicesDir) 552 shutil.rmtree(servicesDir, ignore_errors=True)
553 if exists(optionsDir): 553 if exists(optionsDir):
554 shutil.rmtree(optionsDir) 554 shutil.rmtree(optionsDir, ignore_errors=True)
555 if not exists(servicesDir): 555 if not exists(servicesDir):
556 os.makedirs(servicesDir) 556 os.makedirs(servicesDir)
557 if not exists(optionsDir): 557 if not exists(optionsDir):
558 os.makedirs(optionsDir) 558 os.makedirs(optionsDir)
559 jvmciServices = {} 559 jvmciServices = {}