diff options
-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" |