From cf95211d43b859809a12005ed43180ee9ccf9d2b Mon Sep 17 00:00:00 2001
From: Andrew Scheller <andrew.scheller@raspberrypi.com>
Date: Mon, 27 Jul 2026 14:53:40 +0100
Subject: [PATCH] Update gen_help_txt.sh to early-exit if picotool command is
 missing

---
 gen_help_txt.sh | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/gen_help_txt.sh b/gen_help_txt.sh
index 7fd00c01..82915482 100755
--- a/gen_help_txt.sh
+++ b/gen_help_txt.sh
@@ -2,6 +2,11 @@
 
 ALLOWED_MISSING_COMMANDS="version"
 
+if ! command -v picotool; then
+    echo "Failing job due to picotool command not being in the PATH"
+    exit 1
+fi
+
 mkdir -p tmp
 cp README.md tmp/README.md