diff options
Diffstat (limited to 'Master/Tools/update-tpm')
-rwxr-xr-x | Master/Tools/update-tpm | 5 |
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 |