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/