Project

General

Profile

« Previous | Next » 

Revision 4410

input.Makefile: `%: .make`: Removed no longer applicable comment, which applied when there were two separate `: %.make`-related rules

View differences:

input.Makefile
87 87

  
88 88
%/: % _always ;
89 89

  
90
# Must come before `%: %.make` to override it
91 90
%: %.make
92 91
	(set -x; "time" $(make_script)) 2>>$<.log
93 92
.PRECIOUS: % # save partial outputs of aborted src make scripts

Also available in: Unified diff