X-Git-Url: http://www.chiark.greenend.org.uk/ucgi/~ianmdlvl/git?a=blobdiff_plain;f=makebuildserver;h=173ca747291379b80abd4fd060b896034ecbe279;hb=8b53ae0ad0ac8858713a520ef5c2e06139a5c364;hp=62fee88deb5decbe818df6bd0f96b76515dc5064;hpb=d4c6fffb301ca1caa8af7d7e9fcba96350fe1354;p=fdroidserver.git diff --git a/makebuildserver b/makebuildserver index 62fee88d..173ca747 100755 --- 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,