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-install6
1 files changed, 4 insertions, 2 deletions
diff --git a/Master/tlpkg/bin/tl-try-install b/Master/tlpkg/bin/tl-try-install
index fed5efb1d99..4d7a3e762d5 100755
--- a/Master/tlpkg/bin/tl-try-install
+++ b/Master/tlpkg/bin/tl-try-install
@@ -1,7 +1,8 @@
#!/bin/sh
-# Public domain.
+# Public domain. Originally written 2019, Karl Berry.
# Try a TL installation into /tmp/ki (hardwired),
# using install-tl with a given profile.
+
vc_id='$Id$'
renice 20 $$ >&/dev/null
@@ -15,6 +16,7 @@ mydir=`cd \`dirname "$real0"\` && pwd` # Master/tlpkg/bin
Master=`cd $mydir/../.. && pwd`
profiledir=$Master/tlpkg/dev/profiles
+opt=-vv # -v -vv
profile=$profiledir/TLinfra.pro
repo=$Master
@@ -58,7 +60,7 @@ rm -rf $instdir* && echo "removed $instdir*."
set -x
pro=--profile=$profile
-exec time $repo/install-tl $pro
+exec time $repo/install-tl $opt $pro
cust=--custom-bin=$wb
exec time $Master/install-tl $cust $pro