[opam-devel] can we remove directory build

[Dagnat Fabien]

Hello,
While auditing the space occupied by .opam, I found out that when using switch the directory for the new compiler say for exemple 4.01.0 contains a huge build directory that is kept after build whereas the build of each package is removed after the installation finishes.

Can we safely remove the content of this build directory? In my case it would save 350M over 670M for my students that have quotas...

Fabien

	Fabien DAGNAT
Maître de conférences au département informatique
Responsable de la filière Systèmes Logiciels et Réseaux
Tél. : (0 | 33) 2 29 00 14 09 Technopôle Brest-Iroise, CS 83818
29238 Brest Cedex 3, France 

Une école de l'Institut Mines-Télécom     

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.ocaml.org/pipermail/opam-devel/attachments/20131121/ce08aa6d/attachment.html>