help-make
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Fwd: should make elide the difference between "dir" and "dir/"?


From: Britton Kerin
Subject: Fwd: should make elide the difference between "dir" and "dir/"?
Date: Sun, 10 Oct 2021 03:31:03 -0700

On Fri, Oct 8, 2021 at 12:10 PM Nicholas Clark <nicholas.clark@gmail.com> wrote:
>
> I think it's a great change. I'd love for Make to understand trailing
> slashes intelligently, and I think it makes sense as a default.

I dunno, I'm on wrong computer to check but I believe other tools
sometimes distinguish between foo and foo/, e.g. the file utility when
symlinks are involved IIRC (though I don't remember how exactly at the
moment).

Britton



reply via email to

[Prev in Thread] Current Thread [Next in Thread]