|
| From: | Paul D. Smith |
| Subject: | [bug #61328] elide the distinction between "dir" and "dir/" |
| Date: | Mon, 11 Oct 2021 10:43:33 -0400 (EDT) |
| User-agent: | Mozilla/5.0 (X11; Linux x86_64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/93.0.4577.82 Safari/537.36 |
Follow-up Comment #4, bug #61328 (project make):
> The obvious concern is that we don't know a priori whether a target is a
directory or file.
Why is this a concern? Unlike other tools make doesn't really care if a
prerequisite (or target) is a file or a directory. What different behavior
could we expect to see for one versus the other?
_______________________________________________________
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] |