Impr: Add a usage check for the ci/run-docker.sh script

2026-04-30 23:03:06 +03:00 · 2023-09-01 17:26:59 +02:00
parent f4ee8f0282
commit dd2d469c8b
1 changed files with 5 additions and 0 deletions
@@ -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}"