summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rwxr-xr-xBuild/source/texk/texlive/tl-w32-wrapper.texlua2
1 files changed, 2 insertions, 0 deletions
diff --git a/Build/source/texk/texlive/tl-w32-wrapper.texlua b/Build/source/texk/texlive/tl-w32-wrapper.texlua
index 93166f6514c..ad73b9bf1d5 100755
--- a/Build/source/texk/texlive/tl-w32-wrapper.texlua
+++ b/Build/source/texk/texlive/tl-w32-wrapper.texlua
@@ -24,6 +24,8 @@ if string.find(arg[0], '/') then -- UNIX path
progname = select(1, string.gsub(arg[1], '.*/', ''))
elseif string.find(arg[0], '\\') then -- Windows path
progname = select(1, string.gsub(arg[1], '.*\\', ''))
+ -- we might have \ and / mixed together ...
+ progname = select(1, string.gsub(progname, '.*/', ''))
else -- no path
progname = arg[1]
end