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/
