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

[Paul D. Smith]

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

Having makeflags take effect immediately could be a lot of effort so I was
hoping to avoid it.  That's why I looked at modifying the .INCLUDE_DIRS
variable instead.

But, maybe it's better to grab that bull by the horns.  I already solved some
issues with it locally, in order to allow long options to appear in MAKEFLAGS.
 I'll look into it.

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 don't know if that's too baroque.

    _______________________________________________________

Reply to this item at:

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

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