diff options
Diffstat (limited to 'Master/bin/sparc-solaris/mtxrun')
-rwxr-xr-x | Master/bin/sparc-solaris/mtxrun | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/Master/bin/sparc-solaris/mtxrun b/Master/bin/sparc-solaris/mtxrun index 40c61ef000c..5fbc817e24a 100755 --- a/Master/bin/sparc-solaris/mtxrun +++ b/Master/bin/sparc-solaris/mtxrun @@ -10044,7 +10044,7 @@ local function splitpathexpr(str, newlist, validate) -- I couldn't resist lpeggi if validate then for s in gmatch(str,"[^,]+") do local restoreslashes = false - if gmatch(s, "//$") then restoreslashes = true end + if find(s, "//$") then restoreslashes = true end s = validate(s) if s then n = n + 1 ; t[n] = s @@ -12103,6 +12103,7 @@ local function collect_instance_files(filename,askedformat,allresults) -- todo : local path = pathlist[k] local pathname = lpegmatch(inhibitstripper,path) local doscan = path == pathname -- no ^!! + if not find (pathname, '//$') then doscan = false end done = false -- using file list if filelist then |