Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with HTTPS or Subversion.

Download ZIP
Browse files

Remove the build dir when we remove a library. This doesn't change th…

…e behavior of reinstall, it just clean up more space.
  • Loading branch information...
commit 44ff6c414f17d25f4672deda6709f11b7ec32232 1 parent 8854165
@samoht samoht authored
Showing with 9 additions and 0 deletions.
  1. +8 −0 CHANGES
  2. +1 −0  src/client.ml
View
8 CHANGES
@@ -1,3 +1,11 @@
+0.3 [July 2012]
+* improve parallel compilation of packages
+* better recovery on compilation/installation errors
+* first draft of version pinnig
+* fix 'opam config -env' for old shells
+* install the latest version of packages when possible
+* more robust 'opam update' (ie. old files are gc-ed)
+
0.2 [July 2012]
* more robust switch command
* more robust parallel build (not yet activated by default)
View
1  src/client.ml
@@ -773,6 +773,7 @@ let proceed_todelete t nv =
(* Remove the libraries *)
Dirname.rmdir (Path.C.lib t.compiler name);
+ Dirname.rmdir (Path.C.build t.compiler nv);
(* Remove the binaries *)
let install = File.Dot_install.safe_read (Path.C.install t.compiler name) in
Please sign in to comment.
Something went wrong with that request. Please try again.