From 9b6cf29a15e35ee962ec27667ba807c959970540 Mon Sep 17 00:00:00 2001
From: Mark Evenson <evenson.not.org@gmail.com>
Date: Mon, 11 Mar 2024 16:49:03 +0100
Subject: [PATCH] ci: fail early

---
 ci/install-openjdk.bash | 1 +
 1 file changed, 1 insertion(+)

diff --git a/ci/install-openjdk.bash b/ci/install-openjdk.bash
index 2687b8b1a..f6705fb9c 100644
--- a/ci/install-openjdk.bash
+++ b/ci/install-openjdk.bash
@@ -1,4 +1,5 @@
 #!/usr/bin/env bash
+set -euo pipefail
 DIR="$(cd -P "$(dirname "${BASH_SOURCE[0]}")" && pwd)"
 
 . ${DIR}/install-jenv.bash