Re: Patch: Let "make" output be nicer