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