diff options
author | Paul Smith <psmith@gnu.org> | 2023-01-15 18:27:13 -0500 |
---|---|---|
committer | Paul Smith <psmith@gnu.org> | 2023-01-15 18:27:13 -0500 |
commit | 6128c3e266940ebc3c5e5a4a54241354334d1ebc (patch) | |
tree | b322c061c1b04aceb25083e9ef3a0b16e9648df8 /src/w32/pathstuff.c | |
parent | ceb52b5d1b10ce0f5a1ab090e1911cdde6f7d98a (diff) | |
download | make-git-6128c3e266940ebc3c5e5a4a54241354334d1ebc.tar.gz |
Rename WINDOWS32 macro to MK_OS_W32
* configure.ac: Set MK_OS_W32 to 1 if we're on Windows32.
* src/config.h.W32: Ditto.
* mk/Windows32.mk: Ditto.
* src/makeint.h: Convert #if refs to WINDOWS32, to use MK_OS_W32.
* src/*: Ditto.
* src/w32/*: Ditto.
* gl/lib/*: Ditto.
Diffstat (limited to 'src/w32/pathstuff.c')
-rw-r--r-- | src/w32/pathstuff.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/w32/pathstuff.c b/src/w32/pathstuff.c index efde4540..e7e0afd6 100644 --- a/src/w32/pathstuff.c +++ b/src/w32/pathstuff.c @@ -196,7 +196,7 @@ convert_path_to_nutc(char *path) p = ++etok; continue; } else if ((etok = strpbrk(etok+1, ":;")) == NULL) - break; /* thing found was a WINDOWS32 pathname */ + break; /* thing found was a Windows32 pathname */ /* save separator */ sep = *etok; |