diff options
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 |