diff options
Diffstat (limited to 'Master/tlpkg/bin/tl-try-install')
-rwxr-xr-x | Master/tlpkg/bin/tl-try-install | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Master/tlpkg/bin/tl-try-install b/Master/tlpkg/bin/tl-try-install index d83874b5170..e1e1f6814ec 100755 --- a/Master/tlpkg/bin/tl-try-install +++ b/Master/tlpkg/bin/tl-try-install @@ -13,15 +13,15 @@ rm -rf $instdir* && echo "removed $instdir*." real0=`realpath $0` mydir=`cd \`dirname "$real0"\` && pwd` # Master/tlpkg/bin -echo "mydir=$mydir" Master=`cd $mydir/../.. && pwd` +profiledir=$Master/tlpkg/dev/profiles # don't let cwd or existing PATH interfere cd "$HOME" || exit 1 PATH=/usr/local/bin:/usr/bin:/bin # /usr/local/bin for good perl on tug set -x -pro=--profile=${1-$Master/tlpkg/dev/profiles/TLinfra+none.pro} #infra min ... full +pro=--profile=${1-$profiledir/TLinfra.pro} #infra min ... full exec time $Master/install-tl $pro cust=--custom-bin=$wb exec time $Master/install-tl $cust $pro |