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 09:26:58 -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 #2, bug #61328 (project make):

> Do you mean that make assumes that any order-only prerequisite is a
directory and compares 'foo' as equal to 'foo/', as long as 'foo' is
order-only?

That's backward. Make should not assume O-O prereqs are directories; my
argument is that it can assume paths ending in the path separator are
directories since they can't be anything else:

$ cksum /etc/passwd/
cksum: /etc/passwd/: Not a directory

> Why don't you append a slash?

This is a category error. The entire distinction between a bug report and an
RFE is that one has a workaround and the other doesn't. I filed an RFE because
I know multiple workarounds (and showed one in the body). The focus here is
not on me and my problem but on make and how to improve it.

    _______________________________________________________

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]