diff options
| author | Paul Smith <psmith@gnu.org> | 2022-12-17 11:01:31 -0500 |
|---|---|---|
| committer | Paul Smith <psmith@gnu.org> | 2022-12-18 20:06:38 -0500 |
| commit | 5d1b757517b5ef3db5b7150fbcf7a310a3c627ce (patch) | |
| tree | 7fe42cbc146e8d55d09f19e4eb00e00772674d5a /doc | |
| parent | c0023150f176a91526d88b45eb02334add9059e1 (diff) | |
| download | make-git-5d1b757517b5ef3db5b7150fbcf7a310a3c627ce.tar.gz | |
[SV 63516] [DOS] Support include files with drivespecs
* src/makeint.h (HAVE_DRIVESPEC): Create a macro to check.
* src/main.c (.FEATURES): Add "dospaths" as a feature.
* src/read.c (eval_makefile) [DOS]: If the included makefile name
starts with a drivespec, don't search the include directories.
* doc/make.texi (Include): Document this behavior.
* tests/scripts/features/include: Add a test.
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/make.texi | 19 |
1 files changed, 8 insertions, 11 deletions
diff --git a/doc/make.texi b/doc/make.texi index edceee76..18d4375e 100644 --- a/doc/make.texi +++ b/doc/make.texi @@ -1279,19 +1279,16 @@ makefile as has been traditionally done with other versions of @findex /usr/gnu/include @findex /usr/local/include @findex /usr/include -If the specified name does not start with a slash, and the file is not -found in the current directory, several other directories are searched. +If the specified name does not start with a slash (or a drive letter and colon +when GNU Make is compiled with MS-DOS / MS-Windows path support), and the file +is not found in the current directory, several other directories are searched. First, any directories you have specified with the @samp{-I} or -@samp{--include-dir} options are searched -(@pxref{Options Summary, ,Summary of Options}). -Then the following directories (if they exist) -are searched, in this order: -@file{@var{prefix}/include} (normally @file{/usr/local/include} +@samp{--include-dir} options are searched (@pxref{Options Summary, ,Summary of +Options}). Then the following directories (if they exist) are searched, in +this order: @file{@var{prefix}/include} (normally @file{/usr/local/include} @footnote{GNU Make compiled for MS-DOS and MS-Windows behaves as if -@var{prefix} has been defined to be the root of the DJGPP tree -hierarchy.}) -@file{/usr/gnu/include}, -@file{/usr/local/include}, @file{/usr/include}. +@var{prefix} has been defined to be the root of the DJGPP tree hierarchy.}) +@file{/usr/gnu/include}, @file{/usr/local/include}, @file{/usr/include}. The @code{.INCLUDE_DIRS} variable will contain the current list of directories that make will search for included files. @xref{Special |