summaryrefslogtreecommitdiff
path: root/Master/tlpkg/bin/tl-try-install
diff options
context:
space:
mode:
Diffstat (limited to 'Master/tlpkg/bin/tl-try-install')
-rwxr-xr-xMaster/tlpkg/bin/tl-try-install3
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