diff options
author | Dmitry Goncharov <dgoncharov@users.sf.net> | 2021-04-17 17:50:07 -0400 |
---|---|---|
committer | Paul Smith <psmith@gnu.org> | 2021-05-30 15:11:30 -0400 |
commit | 5e829188d3595c8749f9e7bcbe4b515c085779a6 (patch) | |
tree | dbb3d92957c935e3044bacdab25327c96812bd7c /src/read.c | |
parent | 297cb5adb7bdde0cb04462f05deba1fba26ccce9 (diff) | |
download | make-git-5e829188d3595c8749f9e7bcbe4b515c085779a6.tar.gz |
[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
Diffstat (limited to 'src/read.c')
-rw-r--r-- | src/read.c | 2 |
1 files changed, 2 insertions, 0 deletions
@@ -107,7 +107,9 @@ static const char *default_include_directories[] = This is defined as a placeholder. */ # define INCLUDEDIR "." #endif +#if defined(INCLUDEDIR) INCLUDEDIR, +#endif #ifndef _AMIGA "/usr/gnu/include", "/usr/local/include", |