]> git.ipfire.org Git - thirdparty/make.git/commit
projects / thirdparty / make.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 297cb5a) | patch
[SV 60378] Don't add duplicate default search directories
authorDmitry Goncharov <dgoncharov@users.sf.net>
Sat, 17 Apr 2021 21:50:07 +0000 (17:50 -0400)
committerPaul Smith <psmith@gnu.org>
Sun, 30 May 2021 19:11:30 +0000 (15:11 -0400)
commit5e829188d3595c8749f9e7bcbe4b515c085779a6
treedbb3d92957c935e3044bacdab25327c96812bd7ctree | snapshot
parent297cb5adb7bdde0cb04462f05deba1fba26ccce9commit | diff
[SV 60378] Don't add duplicate default search directories

Depending on how make was configured it may add duplicate
directories in the default include search path: avoid this.

(Tweaked by psmith@gnu.org)

* configure.ac: Set AM variable KNOWN_PREFIX if --prefix is known
* Makefile.am: Only set INCLUDEDIR if prefix is not known
* read.c [default_include_directories]: Only add INCLUDEDIR if set
Makefile.am diff | blob | blame | history
configure.ac diff | blob | blame | history
src/read.c diff | blob | blame | history
Mirror of https://git.savannah.gnu.org/git/make.git