# HG changeset patch
# User Tom Rodriguez <tom.rodriguez@oracle.com>
# Date 1435123173 25200
# Node ID c105214b91d5235861a70719ea4c05dbbe688ae9
# Parent  65f36f248700eee684f57c1d8fbd1978cb75a185
Ignore errors when deleting directory tree for JVMCI

diff -r 65f36f248700 -r c105214b91d5 mx.graal/mx_graal.py
--- 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):