From 896f50eeb9a9ced8f3a38793571c5d4e12b3de35 Mon Sep 17 00:00:00 2001
From: Benoit Blanchon <git@benoitblanchon.fr>
Date: Sat, 8 Jan 2022 16:40:21 +0100
Subject: [PATCH] Publish script: check that all required commands are
 available

---
 extras/scripts/publish.sh | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/extras/scripts/publish.sh b/extras/scripts/publish.sh
index 048e5f54..06ef9913 100755
--- a/extras/scripts/publish.sh
+++ b/extras/scripts/publish.sh
@@ -2,6 +2,8 @@
 
 set -eu
 
+which awk sed jq 7z curl perl >/dev/null
+
 cd "$(dirname "$0")/../.."
 
 if ! git diff --quiet --exit-code; then