Join GitHub today
GitHub is home to over 31 million developers working together to host and review code, manage projects, and build software together.Sign up
Compilation fails when creating a folder when file exists in output folder #942
File does not get deleted in output folder prior to creating new folder.
Steps to reproduce
Delete the file, create the folder.
This situation is tricky to solve in a general way, because there’s situations in which the expected behavior is not so clear. For example:
In this case, the proper solution is to error out. (With whatever is the most appropriate error—which might or might not be
For this bug in particular, though, it seems that changing the order of pruning and compiling so that pruning is done first, rather than last, would solve the problem. The caveat here is that if pruning is not enabled, this error will still occur… which I believe is fine.