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 4934f5e33ad..850d11d3271 100755 --- a/Master/tlpkg/bin/tl-update-bindir +++ b/Master/tlpkg/bin/tl-update-bindir @@ -136,12 +136,18 @@ for tlname in $tlnames; do win32) default_bin_loc=${TMPDIR-$tmpdir}/tl.$tlname.zip $grab http://members2.jcom.home.ne.jp/wt1357ak/tl2009w32-02.zip;; + x86_64-darwin) + download_loc=${TMPDIR-$tmpdir}/tl.$tlname.tar.xz + default_bin_loc=$download_loc + grab="$download -O $download_loc" + $grab http://members2.jcom.home.ne.jp/wt1357ak/tl2009w32-02.zip;; x86_64-linux) default_bin_loc=$download_loc $grab ftp://ftpth.mppmu.mpg.de/pub/peb/TLtests/Build-x86_64-linux.tar.bz2;; esac fi + # test -z "$bin_loc" && test -n "$default_bin_loc" \ && bin_loc=$default_bin_loc if test -z "$bin_loc"; then |