Shouldn't release jars be final..

Well, looks like the jcenter repo doesn't care because the hash for
one of its jars has changed (a few bits in the jar were flipped).
Maven Central is still serving the original version, so we have to allow
both hashes.
This commit is contained in:
Jonas Herzig
2018-04-02 11:34:00 +02:00
parent fb1254ce12
commit efaa5b7c41
2 changed files with 2 additions and 1 deletions

View File

@@ -15,7 +15,7 @@ sha256val () {
# Setup http(s) proxy
url="https://github.com/johni0702/proxy-witness"
commit="01f5aa9eb6fa14a0adfa832ba33b6f7c68138c26"
commit="07e79a999991473489d443b8934ccca547ac7985"
if [ ! -d "deps/proxy-witness" ] || [ "$(git -C "deps/proxy-witness" rev-parse $commit^{commit})" != "$commit" ]; then
rm -rf "deps/proxy-witness"
mkdir -p "deps/proxy-witness"