[bug #60412] Avoid default include directories when searching for included files.

[Dmitry Goncharov]

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/