summaryrefslogtreecommitdiff
path: root/Build/source
diff options
context:
space:
mode:
Diffstat (limited to 'Build/source')
-rw-r--r--Build/source/texk/kpathsea/xdirtest.c11
1 files changed, 10 insertions, 1 deletions
diff --git a/Build/source/texk/kpathsea/xdirtest.c b/Build/source/texk/kpathsea/xdirtest.c
index 47163e3889d..2299e8fde06 100644
--- a/Build/source/texk/kpathsea/xdirtest.c
+++ b/Build/source/texk/kpathsea/xdirtest.c
@@ -27,6 +27,8 @@ static const char *tab[] = {
"\\\\neuromancer\\fptex\\kpsewhich.exe",
"\\\\neuromancer\\kpsewhich.exe",
"//server.host/share/file",
+ "//server.host/share/file/",
+ "//server.host/share/",
"//server.host//share", /* malformed */
"//server.host", /* malformed */
"//.host/share", /* not UNC name */
@@ -35,20 +37,27 @@ static const char *tab[] = {
/* names with device */
#if defined (WIN32)
"p:\\bin\\win32\\kpsewhich.exe",
+ "p:\\bin\\win32\\\\",
"p:\\win32\\kpsewhich.exe",
+ "p:\\win32\\",
"p:\\kpsewhich.exe",
+ "p:\\",
"p:bin\\win32\\kpsewhich.exe",
"p:win32\\kpsewhich.exe",
#endif
"p:win32//kpsewhich.exe",
+ "p:win32/",
"p:kpsewhich.exe",
"p:///kpsewhich.exe",
/* 'normal' names */
"/usr/bin/win32/kpsewhich.exe",
+ "/usr/bin/win32//",
"/usr/bin/kpsewhich.exe",
- "/usr/kpsewhich.exe",
+ "/usr/bin/",
"///usr/kpsewhich.exe",
+ "/usr/kpsewhich.exe",
"///kpsewhich.exe",
+ "/kpsewhich.exe",
"",
NULL
};