Permalink
Browse files

Don't remove the archive on remove, as it will be downloaded again on…

… error otherwise
  • Loading branch information...
1 parent 17e1839 commit 140a484127f2bab4e4e71805c2eefddc0b0cf9d9 @samoht samoht committed Aug 25, 2012
Showing with 0 additions and 4 deletions.
  1. +0 −4 src/client.ml
View
@@ -987,10 +987,6 @@ let proceed_todelete t nv =
Dirname.rmdir (Path.C.lib t.compiler name);
Dirname.rmdir (Path.C.build t.compiler nv);
- (* Remove the archive *)
- let archive = Path.G.archive t.global nv in
- Filename.remove archive;
-
(* Clean-up the repositories *)
let repos =
try N.Map.find (NV.name nv) t.repo_index

0 comments on commit 140a484

Please sign in to comment.