diff options
Diffstat (limited to 'Master/tlpkg')
| -rwxr-xr-x | Master/tlpkg/bin/tl-update-bindir | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/Master/tlpkg/bin/tl-update-bindir b/Master/tlpkg/bin/tl-update-bindir index 2c0db852401..46c38708e01 100755 --- a/Master/tlpkg/bin/tl-update-bindir +++ b/Master/tlpkg/bin/tl-update-bindir @@ -287,6 +287,14 @@ for tlname in $tlnames; do svn propdel svn:executable $badlinks fi + # revert xindy.mem unless xindy changes. + if svn status xindy | grep '^M' >/dev/null; then + : + else + $msg "reverting xindy.mem..." + svn revert xindy*.mem + fi + # check for broken symlinks. for sl in `cat $tmpdir/new.symlink`; do test ! -r "$sl" && echo "$0: broken new symlink $sl" >&2 |