dockerfile: report unsupported TARGETPLATFORM

GaloisInc · Oct 23, 2024 · cd097a5 · cd097a5
1 parent 6505a3d
commit cd097a5
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/Dockerfile b/Dockerfile
@@ -2,7 +2,7 @@
 FROM ubuntu:20.04 AS gitbase
 
 ARG TARGETPLATFORM
-RUN if [ "${TARGETPLATFORM}" != "linux/amd64" ]; then echo "Only linux/amd64 is supported, use '--platform linux/amd64'"; exit 1; fi
+RUN if [ "${TARGETPLATFORM}" != "linux/amd64" ]; then echo "TARGETPLATFORM '${TARGETPLATFORM}' is not supported, use '--platform linux/amd64'"; exit 1; fi
 
 RUN apt update && apt install -y ssh
 RUN apt install -y git