Project

General

Profile

« Previous | Next » 

Revision 5250

Makefiles: Don't delete %.last_cleanup on error because it's a mod time record rather than a generated file, and so that it's left at the last successful cleanup time when a cleanup operation is cancelled

View differences:

input.Makefile
93 93
	+$(selfMake)
94 94
# re-run make so that cache of existing files is reset
95 95

  
96
.PRECIOUS: %.last_cleanup # don't delete on error
97

  
96 98
make_script = ./$< >$@
97 99

  
98 100
%/: % _always ;

Also available in: Unified diff