|
| From: | David Boyce |
| Subject: | [bug #61328] elide the distinction between "dir" and "dir/" |
| Date: | Mon, 11 Oct 2021 09:26:58 -0400 (EDT) |
| User-agent: | Mozilla/5.0 (Macintosh; Intel Mac OS X 10_15_7) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/94.0.4606.71 Safari/537.36 |
Follow-up Comment #2, bug #61328 (project make):
> Do you mean that make assumes that any order-only prerequisite is a
directory and compares 'foo' as equal to 'foo/', as long as 'foo' is
order-only?
That's backward. Make should not assume O-O prereqs are directories; my
argument is that it can assume paths ending in the path separator are
directories since they can't be anything else:
$ cksum /etc/passwd/
cksum: /etc/passwd/: Not a directory
> Why don't you append a slash?
This is a category error. The entire distinction between a bug report and an
RFE is that one has a workaround and the other doesn't. I filed an RFE because
I know multiple workarounds (and showed one in the body). The focus here is
not on me and my problem but on make and how to improve it.
_______________________________________________________
Reply to this item at:
<https://savannah.gnu.org/bugs/?61328>
_______________________________________________
Message sent via Savannah
https://savannah.gnu.org/
| [Prev in Thread] | Current Thread | [Next in Thread] |