Mercurial > hg > graal-jvmci-8
diff 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 |
line wrap: on
line diff
--- a/mx.graal/mx_graal.py Tue Jun 23 22:19:01 2015 -0700 +++ b/mx.graal/mx_graal.py Tue Jun 23 22:19:33 2015 -0700 @@ -549,9 +549,9 @@ def _extractJVMCIFiles(jdkJars, jvmciJars, servicesDir, optionsDir): if exists(servicesDir): - shutil.rmtree(servicesDir) + shutil.rmtree(servicesDir, ignore_errors=True) if exists(optionsDir): - shutil.rmtree(optionsDir) + shutil.rmtree(optionsDir, ignore_errors=True) if not exists(servicesDir): os.makedirs(servicesDir) if not exists(optionsDir):