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: Dmitry Goncharov
Subject: [bug #61328] elide the distinction between "dir" and "dir/"
Date: Mon, 11 Oct 2021 10:34:50 -0400 (EDT)
User-agent: Mozilla/5.0 (X11; Linux x86_64; rv:78.0) Gecko/20100101 Firefox/78.0

Follow-up Comment #3, bug #61328 (project make):

> my argument is that it can assume paths ending in the path separator are
directories since they can't be anything else:

This assumption looks reasonable.
What change in behavior do you think is appropriate with this assumption?

    _______________________________________________________

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]