bug-make
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[bug #61328] elide the distinction between "dir" and "dir/"


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/




reply via email to

[Prev in Thread] Current Thread [Next in Thread]