On Tue, 02 Feb 2016 06:56:19 -0500,
Steven Simpson wrote:
> > Besides changing names, I also moved the "correct" branch up, to
> > remove the possibility that it was choosing the "mislead" branch
> > simply because it was listed first, which is what make does if
> > everything else ties.
> 
> I understood that it shouldn't matter anyway, because they're not
> branches from the same point, i.e., they don't have the same target.

You're right that it doesn't matter to Make, but it might matter to
humans trying to understand it :) I just wanted there to be one fewer
thing for someone looking at it to have to think about.

--
Happy hacking,
~ Luke Shumaker


_______________________________________________
Help-make mailing list
Help-make@gnu.org
https://lists.gnu.org/mailman/listinfo/help-make

Reply via email to