changeset 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 65f36f248700
children 5c50f2f6e913
files mx.graal/mx_graal.py
diffstat 1 files changed, 2 insertions(+), 2 deletions(-) [+]
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):