[Top][All Lists]

[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

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:


  Message sent via Savannah

reply via email to

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