URL:
<https://savannah.gnu.org/bugs/?60412>
Summary: Avoid default include directories when searching for
included files.
Project: make
Submitted by: dgoncharov
Submitted on: Sat 17 Apr 2021 08:34:55 PM UTC
Severity: 3 - Normal
Item Group: Enhancement
Status: None
Privacy: Public
Assigned to: None
Open/Closed: Open
Discussion Lock: Any
Component Version: SCM
Operating System: POSIX-Based
Fixed Release: None
Triage Status: None
_______________________________________________________
Details:
Make searches the default include directories for included files.
This new option -a tells make to skip the default include directories.
In my practice, /usr/include, /usr/gnu/include and /usr/local/include contain
header files and never contain makefiles.
Users cannot store their owns hand-written makefiles or generated dep files in
these directories, because these directories are owned by root.
The only effect of this lookup is to slow down make.
Not sure, if this lookup can be removed from make. Therefore, this new option
to avoid it.
_______________________________________________________
Reply to this item at:
<https://savannah.gnu.org/bugs/?60412>
_______________________________________________
Message sent via Savannah
https://savannah.gnu.org/
