[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: should make elide the difference between "dir" and "dir/"?
From: |
Nicholas Clark |
Subject: |
Re: should make elide the difference between "dir" and "dir/"? |
Date: |
Fri, 8 Oct 2021 12:09:38 -0700 |
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.
Are we concerned enough about compatibility breaks that it would make sense
to enable it via special-target (a-la delete-on-error)?
On Fri, Oct 8, 2021, 10:36 Paul Smith <psmith@gnu.org> wrote:
> On Fri, 2021-10-08 at 10:11 -0700, David Boyce wrote:
> > Yes, exactly, what Paul said. Paul, this felt like a topic that might
> > have been beaten to death in the past but if not, and if it's viable,
> > should I file an enhancement request?
>
> Sure, it can't hurt.
>
> My only concern is if there is some makefile, somewhere, that is taking
> advantage of the fact that targets "dir" and "dir/" are discrete
> targets right now, that would be broken by this change.
>
> I'm not sure I see how such a thing would be useful but it might
> require a bit of thought.
>
>
>
- 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 <=
- Message not available
- Fwd: should make elide the difference between "dir" and "dir/"?, Britton Kerin, 2021/10/10
Re: should make elide the difference between "dir" and "dir/"?, Steven Simpson, 2021/10/10