|
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] |