diff options
Diffstat (limited to 'Master/tlpkg/bin/tl-try-install')
| -rwxr-xr-x | Master/tlpkg/bin/tl-try-install | 6 |
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 |