chiark / gitweb /
makebs: revert platform-tools change in 2227cc6d
authorDaniel Martí <mvdan@mvdan.cc>
Tue, 19 Jul 2016 18:30:05 +0000 (20:30 +0200)
committerDaniel Martí <mvdan@mvdan.cc>
Tue, 19 Jul 2016 18:38:09 +0000 (20:38 +0200)
commit8a8c139aa942ccf5396a16f3a7e92d20601820e0
tree53fbe45ad5b0e699f415508ab8f4cfec5664e35b
parent9be1c75e586658349e61d993f2e47c671d7bda5b
makebs: revert platform-tools change in 2227cc6d

Amusingly, the commit changed more than just this so a simple git revert
is not possible.

The problem is that the zip is replaced with each point release (24.0.1
at the time of writing) and there is no way to get a URL to a single,
non-changing version. Hence any caching or checksums are completely
worthless and will break every few weeks.
makebuildserver