diff options
| author | Gijs Burghoorn <me@gburghoorn.com> | 2023-09-01 17:26:59 +0200 |
|---|---|---|
| committer | Amanieu d'Antras <amanieu@gmail.com> | 2023-09-01 21:43:29 +0200 |
| commit | dd2d469c8be1c45f3fd5d2c5b6dd44b528bcd36d (patch) | |
| tree | 01d94b5b3d5b1751edc065c3354fb719df00f0d4 /library/stdarch | |
| parent | f4ee8f02822269ef93ffcc5184ff3cd2e3eee89b (diff) | |
| download | rust-dd2d469c8be1c45f3fd5d2c5b6dd44b528bcd36d.tar.gz rust-dd2d469c8be1c45f3fd5d2c5b6dd44b528bcd36d.zip | |
Impr: Add a usage check for the ci/run-docker.sh script
Diffstat (limited to 'library/stdarch')
| -rwxr-xr-x | library/stdarch/ci/run-docker.sh | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/library/stdarch/ci/run-docker.sh b/library/stdarch/ci/run-docker.sh index 32209d96c65..59170439c5f 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}" |