diff options
Diffstat (limited to 'Build/tools/etc/do_check')
| -rw-r--r-- | Build/tools/etc/do_check | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/Build/tools/etc/do_check b/Build/tools/etc/do_check new file mode 100644 index 00000000000..867d939fb62 --- /dev/null +++ b/Build/tools/etc/do_check @@ -0,0 +1,6 @@ + +for i in $(cat missing-tpms) ; do + bn=$(basename $i .tpm) + echo -n "TPM: $bn " + ./ctan2tl.new $bn 2>&1 | perl ./check-ctan2tl-output.pl +done |