bug-make
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[bug #60378] Avoid duplicates in default_include_directories.


From: Dmitry Goncharov
Subject: [bug #60378] Avoid duplicates in default_include_directories.
Date: Sun, 11 Apr 2021 21:23:38 -0400 (EDT)
User-agent: Mozilla/5.0 (X11; Linux x86_64; rv:60.0) Gecko/20100101 Firefox/60.0

Follow-up Comment #1, bug #60378 (project make):

The patch in the attachments compares the value of prefix with one of the
hardcoded defaults of default_include_directories and defines INCLUDEDIR only
if the specified prefix is different.

    _______________________________________________________

Reply to this item at:

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

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




reply via email to

[Prev in Thread] Current Thread [Next in Thread]