diff options
author | Karl Berry <karl@freefriends.org> | 2006-10-07 23:56:05 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2006-10-07 23:56:05 +0000 |
commit | 86c9bf55aba712f97a7b028786d178aa4ecb52a1 (patch) | |
tree | 6e608b636ed42224f6861bd2367a744fab3f07ee /Build | |
parent | 741016f67639bf07e2029db0fe18aa96175b2c01 (diff) |
-n should include tpm-check.
git-svn-id: svn://tug.org/texlive/trunk@2279 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Build')
-rwxr-xr-x | Build/tools/tlrebuild | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/Build/tools/tlrebuild b/Build/tools/tlrebuild index 8a0ae6fd6ef..83d4099d069 100755 --- a/Build/tools/tlrebuild +++ b/Build/tools/tlrebuild @@ -62,12 +62,13 @@ message "#3" message "#4" update-tpm || exit 1) | grep -v '^Writing ' -$chicken && exit 0 - # sanity check of tpms, hopefully nothing to report after the update. message "tpm-check" tpm-check || exit 1 +# just checking? +$chicken && exit 0 + for dir in texmf/tpm texmf-dist/tpm texmf-doc/tpm; do cd $master/$dir || exit 1 message "$dir: finding changed tpms" |