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):