|
| From: | David Boyce |
| Subject: | [bug #61328] elide the distinction between "dir" and "dir/" |
| Date: | Mon, 11 Oct 2021 10:51:52 -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 #5, bug #61328 (project make):
> Why is this a concern?
I may have phrased it wrong. I just meant to bring up "a question that might
reasonably be raised" and rebut it in advance.
> Unlike other tools make doesn't really care if a prerequisite is a file or a
directory.
My understanding is that by assuming "foo/" == "foo" make would be introducing
at least a little bit of that distinction. Because while "dir" == "dir/" is
true, "file" == "file/" is false since the latter is an error at stat() time.
But maybe I'm missing something?
_______________________________________________________
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] |