From dd2d469c8be1c45f3fd5d2c5b6dd44b528bcd36d Mon Sep 17 00:00:00 2001
From: Gijs Burghoorn <me@gburghoorn.com>
Date: Fri, 1 Sep 2023 17:26:59 +0200
Subject: [PATCH] Impr: Add a usage check for the ci/run-docker.sh script

---
 library/stdarch/ci/run-docker.sh | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/library/stdarch/ci/run-docker.sh b/library/stdarch/ci/run-docker.sh
index 32209d96c658..59170439c5fe 100755
--- a/library/stdarch/ci/run-docker.sh
+++ b/library/stdarch/ci/run-docker.sh
@@ -5,6 +5,11 @@
 
 set -ex
 
+if [ $# -lt 1 ]; then
+    >&2 echo "Usage: $0 <TARGET>"
+    exit 1
+fi
+
 run() {
     target=$(echo "${1}" | sed 's/-emulated//')
     echo "Building docker container for TARGET=${1}"