feat: remove configuration olean on `lake clean`

Open tydeu opened this issue 2 years ago • 2 comments

Closes #2592.

Oct 16 '23 16:10 tydeu

After a long debugging session (including with gdb), it appears that the root olean (and only the root olean) handle stays open for some reason on Windows. This causes the remove to fail. I am not sure why it is only the root olean that exhibits. I would expect either all or none, but that does not happen.

Oct 16 '23 23:10 tydeu

It is also worth noting that MSYS2 rm can remove the olean but IO.FS.removeFile cannot.

Oct 17 '23 15:10 tydeu