diff options
Diffstat (limited to 'Build/source/texk/kpathsea/mingw32.c')
| -rw-r--r-- | Build/source/texk/kpathsea/mingw32.c | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/Build/source/texk/kpathsea/mingw32.c b/Build/source/texk/kpathsea/mingw32.c index 9da8d774074..f6912365422 100644 --- a/Build/source/texk/kpathsea/mingw32.c +++ b/Build/source/texk/kpathsea/mingw32.c @@ -206,11 +206,13 @@ normalize_filename (char *fp, char path_sep) /* Destructively turn backslashes into slashes. */ -void +#if 0 /* unused */ +static void dostounix_filename (char *p) { normalize_filename (p, '/'); } +#endif /* Destructively turn slashes into backslashes. */ static void |