Skip to content
Browse files

Fix #266

Build directories are now removed when builds are successful.
  • Loading branch information...
1 parent 48936e4 commit 37c857059d617955c1b927392649e53fe4c4b219 @samoht samoht committed Nov 7, 2012
Showing with 3 additions and 1 deletion.
  1. +3 −1 src/client/opamSolution.ml
View
4 src/client/opamSolution.ml
@@ -147,7 +147,9 @@ let proceed_to_install t nv =
(String.concat "\n" (List.map print !warnings));
OpamGlobals.exit 2;
)
- )
+ );
+ if not !OpamGlobals.debug then
+ OpamFilename.rmdir build_dir
let pinned_path t nv =
let name = OpamPackage.name nv in

0 comments on commit 37c8570

Please sign in to comment.
Something went wrong with that request. Please try again.