[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
- should make elide the difference between "dir" and "dir/"?, David Boyce, 2021/10/03
- Re: should make elide the difference between "dir" and "dir/"?, Mark Piffer, 2021/10/08
- Re: should make elide the difference between "dir" and "dir/"?, David Boyce, 2021/10/08
- Re: should make elide the difference between "dir" and "dir/"?, Mark Piffer, 2021/10/08
- Re: should make elide the difference between "dir" and "dir/"?, Paul Smith, 2021/10/08
- Re: should make elide the difference between "dir" and "dir/"?, David Boyce, 2021/10/08
- Re: should make elide the difference between "dir" and "dir/"?, Paul Smith, 2021/10/08
- Re: should make elide the difference between "dir" and "dir/"?, Nicholas Clark, 2021/10/08
- Message not available
- Fwd: should make elide the difference between "dir" and "dir/"?,
Britton Kerin <=
Re: should make elide the difference between "dir" and "dir/"?, Steven Simpson, 2021/10/10