diff options
author | Karl Berry <karl@freefriends.org> | 2012-07-27 22:56:09 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2012-07-27 22:56:09 +0000 |
commit | e5a3f502a0f8618b02616ad91af5595471381723 (patch) | |
tree | 9f68b00f0143132a9d3f0dfebc21e38c2a89bea7 /Master/tlpkg/bin/tl-update-auto | |
parent | 68c07ff546c308bdb369d4bffb5c65837041d613 (diff) |
chktex in texk, etc.
git-svn-id: svn://tug.org/texlive/trunk@27204 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/tlpkg/bin/tl-update-auto')
-rwxr-xr-x | Master/tlpkg/bin/tl-update-auto | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/Master/tlpkg/bin/tl-update-auto b/Master/tlpkg/bin/tl-update-auto index 90c278296b0..f4259274366 100755 --- a/Master/tlpkg/bin/tl-update-auto +++ b/Master/tlpkg/bin/tl-update-auto @@ -135,6 +135,11 @@ for gnuconf in config.guess config.sub depcomp install-sh texinfo.tex; do master_conffile=$config_masterdir/$gnuconf local_conffile=../Build/source/build-aux/$gnuconf # + if test ! -s $master_conffile; then + echo "$0: $master_conffile missing, skipping." >&2 + continue + fi + # if $diff $local_conffile $master_conffile >$temp.$gnuconf.diff; then $verbose " $gnuconf ok." rm -f $temp |