Menu

#213 reload should remake

workingwiki
open
nobody
None
5
2013-05-07
2012-09-07
Lee Worden
No

pages with project files that failed to make get into the parser cache, so that reloading the page just gives you the same error output without trying to remake the targets. I think a page that has a 'make failed' on it should be kept out of the cache, so that reloading means trying again.

Discussion

Anonymous
Anonymous

Add attachments
Cancel





Want the latest updates on software, tech news, and AI?
Get latest updates about software, tech news, and AI from SourceForge directly in your inbox once a month.