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: 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/




reply via email to

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