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