Originally Posted by Robbbert
Quote
Permission denied

File is read-only, or file is in use.

Most common fix: close windows explorer. It has a bug since windows 7 of grabbing random files, even if you never looked at them.

yeah I've seen it sometimes on Win7/10, I think some of it comes from the antivirus trying to scan a file at the same time, or windows indexing crap.

I've never seen them grab a file in a way that can't be resolved just by typing make again tho.