diff options
Diffstat (limited to 'Master/tlpkg/bin/tl-update-bindir')
| -rwxr-xr-x | Master/tlpkg/bin/tl-update-bindir | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/Master/tlpkg/bin/tl-update-bindir b/Master/tlpkg/bin/tl-update-bindir index cc8fb5ec70d..8fa253d38fe 100755 --- a/Master/tlpkg/bin/tl-update-bindir +++ b/Master/tlpkg/bin/tl-update-bindir @@ -44,6 +44,7 @@ Report bugs to tlbuild@tug.org." # parse options. bin_loc= +download=wget msg=echo tlnames= while test $# -gt 0; do @@ -55,6 +56,8 @@ while test $# -gt 0; do --master) shift; Master=$1;; --bin-loc) shift; bin_loc=$1;; + --no-download|-N) download=true;; # secret option for karl + --*) echo "$0: unrecognized option \`$1'; try --help if you need it." >&2 exit 1;; @@ -90,6 +93,9 @@ for tlname in $tlnames; do default_bin_loc= if test x"$USER" = xkarl; then case $tlname in + powerpc-darwin|i386-darwin) + default_bin_loc=/tmp/tl.$tlname.tar.gz + $download http://www.uoregon.edu/~koch/$tlname.tar.gz -O $default_bin_loc;; i386-freebsd) default_bin_loc=/home/manfred/tl2008.bin.tgj;; i386-linux) |