summaryrefslogtreecommitdiff
path: root/Master/Tools/update-tpm
diff options
context:
space:
mode:
Diffstat (limited to 'Master/Tools/update-tpm')
-rwxr-xr-xMaster/Tools/update-tpm5
1 files changed, 5 insertions, 0 deletions
diff --git a/Master/Tools/update-tpm b/Master/Tools/update-tpm
index 234de2dd053..e47ae77354c 100755
--- a/Master/Tools/update-tpm
+++ b/Master/Tools/update-tpm
@@ -10,6 +10,11 @@ tools=$master/Tools
verbose=${OVERRIDE_VERBOSE-}
+if test "x$1" = x--debug; then
+ verbose=--debug
+ shift
+fi
+
test $# -eq 0 && set - TLCore Package Documentation
for type in "$@"; do