Suggestion: Modernization of the include path

Hello everyone, I suggest that a) $HOME/.local/include is effectively added to the include_directories, as if it were inserted in default_include_directories before /usr/gnu/include. b) Change function src/read.c/eval_makefile() to loop over .INCLUDE_DIRS instead of include_directories when searc

[bug #58472] Modernization of the include path

URL: Summary: Modernization of the include path Project: make Submitted by: None Submitted on: Sun 31 May 2020 07:13:43 PM UTC Severity: 3 - Normal Item Group: Enhanceme