summaryrefslogtreecommitdiff
path: root/Build/tools/tlrebuild
diff options
context:
space:
mode:
Diffstat (limited to 'Build/tools/tlrebuild')
-rwxr-xr-xBuild/tools/tlrebuild5
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"