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/
