Follow-up Comment #9, bug #47880 (project make): > But, maybe it's better to grab that bull by the horns.
>From the user's point of view, it may indeed be better to have a single interface (MAKEFLAGS), which controls the behavior from the makefile. > 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"? That should work. Another way is to mimics the shell and use the + sign. +I/usr/include removes /usr/include. > It just seems to me that this issue of default include paths is too minor/rarely problematic to waste an entire command line option on it :). One trouble of this default is, when your dep files are missing, make does a fs access per default directory for each missing dep file. Another trouble is that, as far as i can tell, this default hurts most of the users to benefit few of them. However, since Steven reported there are makefile which use this, i agree, the default needs to stay. _______________________________________________________ Reply to this item at: <https://savannah.gnu.org/bugs/?47880> _______________________________________________ Message sent via Savannah https://savannah.gnu.org/