Fix make deleting files that aren't actually intermediate.
make was deciding that a couple .blk files were actually intermediate. Still don't know what is causing that issue. This is a temporary fix that will probably be forgotten about and become a permanent one.
This commit is contained in:
Reference in New Issue
Block a user