chiark / gitweb /
makebuildserver: delete cached files with zero size
authorHans-Christoph Steiner <hans@eds.org>
Thu, 21 Jan 2016 14:41:26 +0000 (15:41 +0100)
committerHans-Christoph Steiner <hans@eds.org>
Thu, 21 Jan 2016 14:41:26 +0000 (15:41 +0100)
commit24a9f3b816ec8951bd43784e6bda98c2ea66984a
treefbc045b59311abdc55de54b4421e4e13d4da6e11
parentcda8fa00f56068bac49276bbecf9064337125189
makebuildserver: delete cached files with zero size

If download fails to connect, it'll make a zero size file.  Then the next
run on ./makebuildserver will fail because the checksum will not be right.
makebuildserver