diff options
author | Karl Berry <karl@freefriends.org> | 2021-05-06 20:21:11 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2021-05-06 20:21:11 +0000 |
commit | a4f1ad2e946443c9836b07ea343efc308048043f (patch) | |
tree | b6ec020aa2622aecce4fd752236381efbb37182e /Master/tlpkg/bin/tl-try-install | |
parent | 0f22d2ffb285c68fcbdf39454df79af0f9f372aa (diff) |
(writeout): dddebug, since this happens on every package in tlpdb; other debugging tweaks
git-svn-id: svn://tug.org/texlive/trunk@59098 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/tlpkg/bin/tl-try-install')
-rwxr-xr-x | Master/tlpkg/bin/tl-try-install | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/Master/tlpkg/bin/tl-try-install b/Master/tlpkg/bin/tl-try-install index 2587a2b029d..0f05e3e49b5 100755 --- a/Master/tlpkg/bin/tl-try-install +++ b/Master/tlpkg/bin/tl-try-install @@ -16,7 +16,7 @@ mydir=`cd \`dirname "$real0"\` && pwd` # Master/tlpkg/bin Master=`cd $mydir/../.. && pwd` profiledir=$Master/tlpkg/dev/profiles -opt= # -v -vv +opt= profile=$profiledir/TLinfra.pro repo=$Master @@ -24,6 +24,7 @@ while test $# -gt 0; do case $1 in -p|--profile) shift; profile=$1;; -r|--repo) shift; repo=$1;; + -v|-vv) opt=$1;; --help) echo "ustl. sorry."; exit 0;; --version) echo "$vc_id"; exit 0;; *) echo "$0: unrecognized option \`$1'." >&2 |