From eabc51ab8c359e70a6f3503a6da12f6511e4b7e3 Mon Sep 17 00:00:00 2001
From: Fabian Meumertzheim <meumertzheim@code-intelligence.com>
Date: Thu, 31 Aug 2023 13:55:45 +0200
Subject: [PATCH] deploy: Verify that `jazzer.jar` is a valid Jazzer jar

Release v0.20.0 failed because the zip containing the Jazzer jar was
passed in instead of the Jazzer jar itself.
---
 deploy/deploy.sh | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/deploy/deploy.sh b/deploy/deploy.sh
index edf8b4071..a67296919 100755
--- a/deploy/deploy.sh
+++ b/deploy/deploy.sh
@@ -33,6 +33,9 @@ JAZZER_COORDINATES=$1
 [ ! -f "${JAZZER_JAR_PATH}" ] && \
   fail "JAZZER_JAR_PATH does not exist at '$JAZZER_JAR_PATH'"
 
+"${JAZZER_JAR_PATH}" --version 2>&1 | grep '^Jazzer v' || \
+  fail "JAZZER_JAR_PATH is not a valid jazzer.jar"
+
 MAVEN_REPO=https://oss.sonatype.org/service/local/staging/deploy/maven2
 
 # The Jazzer jar itself bundles native libraries for multiple architectures and thus can't be built