From 23a7b2c98bc94dc8183ce97b392aa070f23c3add Mon Sep 17 00:00:00 2001
From: Reiner Jung <reiner.jung@email.uni-kiel.de>
Date: Thu, 1 Sep 2022 17:59:32 +0200
Subject: [PATCH] Fixed upload script.

---
 upload.sh | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/upload.sh b/upload.sh
index 86730e7..af56104 100755
--- a/upload.sh
+++ b/upload.sh
@@ -32,6 +32,8 @@ else
         exit 1
 fi
 
+checkExecutable compile-results "${COMPILE_RESULTS_BIN}"
+
 KEYSTORE="$1"
 UPDATE_SITE_RUL="$2"
 
-- 
GitLab