mrg 65f5251eae remove a bunch of "@echo done" from the tail of rules. these messages ... were vaguely useful back when we didn't run make -j, but now you end up with a single line "done" every so often, with no idea what it is for. very few other targets claim they're done so just remove these.		2016-03-22 08:25:22 +00:00
..
Makefile	remove a bunch of "@echo done" from the tail of rules. these messages	2016-03-22 08:25:22 +00:00
Makefile.inc	remove a bunch of "@echo done" from the tail of rules. these messages	2016-03-22 08:25:22 +00:00