[bug #60378] Avoid duplicates in default_include_directories.

[Dmitry Goncharov]

URL:
  <https://savannah.gnu.org/bugs/?60378>

                 Summary: Avoid duplicates in default_include_directories.
                 Project: make
            Submitted by: dgoncharov
            Submitted on: Mon 12 Apr 2021 01:19:21 AM UTC
                Severity: 3 - Normal
              Item Group: Bug
                  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:

When the user does not specify --prefix, the default value often matches one
of the hardcoded defaults in default_include_directories.
This results in a duplicate entry in default_include_directories.  This in
turn results in make doing extra work looking for included file in the same
directory twice.




    _______________________________________________________

Reply to this item at:

  <https://savannah.gnu.org/bugs/?60378>

_______________________________________________
  Message sent via Savannah
  https://savannah.gnu.org/