opam clean: Ignore errors trying to remove directories (ocaml#3732)

rjbou · Mar 28, 2019 · f8bff70 · f8bff70
1 parent 4e6c8d5
commit f8bff70
Showing 1 changed file with 4 additions and 2 deletions.
diff --git a/src/client/opamCommands.ml b/src/client/opamCommands.ml
@@ -2930,14 +2930,16 @@ let clean =
         OpamConsole.msg "rm -rf \"%s\"/*\n"
           (OpamFilename.Dir.to_string d)
       else
-        OpamFilename.cleandir d
+      try OpamFilename.cleandir d
+      with OpamSystem.Internal_error msg -> OpamConsole.warning "Error ignored: %s" msg
     in
     let rmdir d =
       if dry_run then
         OpamConsole.msg "rm -rf \"%s\"\n"
           (OpamFilename.Dir.to_string d)
       else
-        OpamFilename.rmdir d
+      try OpamFilename.rmdir d
+      with OpamSystem.Internal_error msg -> OpamConsole.warning "Error ignored: %s" msg
     in
     let switches =
       if all_switches then OpamGlobalState.switches gt