diff options
author | Karl Berry <karl@freefriends.org> | 2006-12-09 19:46:58 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2006-12-09 19:46:58 +0000 |
commit | aa206d845479aa763e5c8ef5241b1670fa4417cd (patch) | |
tree | 2bc27432bf5f5150c7f9057963439a77175a4182 /Master/bin/powerpc-aix/mktexlsr | |
parent | fac9dc54b39b5266eba37dd198a4910b70719bbc (diff) |
aix binaries update
git-svn-id: svn://tug.org/texlive/trunk@2659 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/bin/powerpc-aix/mktexlsr')
-rwxr-xr-x | Master/bin/powerpc-aix/mktexlsr | 14 |
1 files changed, 10 insertions, 4 deletions
diff --git a/Master/bin/powerpc-aix/mktexlsr b/Master/bin/powerpc-aix/mktexlsr index 3d2523d875b..663c36c1598 100755 --- a/Master/bin/powerpc-aix/mktexlsr +++ b/Master/bin/powerpc-aix/mktexlsr @@ -133,11 +133,17 @@ for TEXMFLS_R in "$@"; do # The main task. We put ./: in the output, so top-level files can be # found via ls-R. Probably irrelevant in practice. # The sed command inserts the leading ./ for directory names, and - # removes . and .. from the list. Note that using colons in directory - # names results in nothing but grief. + # removes ., .., and .svn entries from the list. Also omit contents + # of any .svn directories; sed apparently requires that we do that + # operation in a separate invocation. + # We do not try to support colons in directory names. + # echo "./:" >>"$db_file_tmp" - (cd "$TEXMFLS_R" && \ls -LRa 2>/dev/null) | - sed '/^$/{n;s%^\./%%;s%^%./%;}; /^\.$/d; /^\.\.$/d; /^[\.\/]*lsR[0-9]*\.tmp:*$/d' >>"$db_file_tmp" + (cd "$TEXMFLS_R" && \ls -LRa 2>/dev/null) \ + | sed -e '/^$/{n;s%^\./%%;s%^%./%;}; /^\.$/d; /^\.\.$/d; /^\.svn$/d;' \ + -e '/^[\.\/]*lsR[0-9]*\.tmp:*$/d' \ + | sed -e '/\.svn.*:$/,/^$/d' \ + >>"$db_file_tmp" # To be really safe, a loop. until PERMS=`kpsestat = "$db_file"`; do sleep 1; done |