Mercurial > hg > graal-jvmci-8
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 = {} |