chiark
/
gitweb
/
~ianmdlvl
/
fdroidserver.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
| inline |
side by side
buildserver: delete corrupt files from the cache
[fdroidserver.git]
/
makebuildserver
diff --git
a/makebuildserver
b/makebuildserver
index 62fee88deb5decbe818df6bd0f96b76515dc5064..173ca747291379b80abd4fd060b896034ecbe279 100755
(executable)
--- a/
makebuildserver
+++ b/
makebuildserver
@@
-306,6
+306,7
@@
for srcurl, shasum in cachefiles:
print("\t...shasum verified for " + local_filename)
else:
print("Invalid shasum of '" + v + "' detected for " + local_filename)
+ os.remove(local_filename)
sys.exit(1)
# use VirtualBox software virtualization if hardware is not available,