[bug #47880] Allow updates to .INCLUDE_DIRS to change search path

[Steven Simpson]

Follow-up Comment #7, bug #47880 (project make):

> Regarding removing default directories, I wonder what people think of using
something like "-I-" to mean "delete all known include directories up to here
and start over with a fresh set"?  So if you used "make -I- -I/foo -I/bar" the
include directories would be "/foo" and "/bar" with no defaults; if you use
"make -I/foo -I- -I/bar" then the include path would just be "/bar".

I've written makefiles that are installed and used like libraries.  They are
installed by default in /usr/local/include so that users can find them without
any extra configuration, so it would be inconvenient to lose the notion of
default include directories.  A switch analogous to -r/-R seems like a more
backward-compatible option than removing them all by default.

    _______________________________________________________

Reply to this item at:

  <https://savannah.gnu.org/bugs/?47880>

_______________________________________________
  Message sent via Savannah
  https://savannah.gnu.org/