summaryrefslogtreecommitdiff
path: root/Master/bin/x86_64-darwin/mtxrun
diff options
context:
space:
mode:
Diffstat (limited to 'Master/bin/x86_64-darwin/mtxrun')
-rwxr-xr-xMaster/bin/x86_64-darwin/mtxrun5
1 files changed, 4 insertions, 1 deletions
diff --git a/Master/bin/x86_64-darwin/mtxrun b/Master/bin/x86_64-darwin/mtxrun
index 8debdf95551..7adcd3023a8 100755
--- a/Master/bin/x86_64-darwin/mtxrun
+++ b/Master/bin/x86_64-darwin/mtxrun
@@ -12150,7 +12150,10 @@ local function collect_instance_files(filename,askedformat,allresults) -- todo :
if doscan then files = resolvers.scanfiles(ppname) end
for k=1,#wantedfiles do
local w = wantedfiles[k]
- local subpath = files[w] or ''
+ local subpath = ''
+ if files[w] then
+ subpath = type(files[w]) == "table" and files[w][1] or files[w]
+ end
local fname = filejoin(ppname,subpath,w)
if isreadable(fname) then
if trace_detail then