syntax

bjia56 · Oct 19, 2024 · 22dbe54 · 22dbe54
1 parent 9a68cb0
commit 22dbe54
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/scripts/repackage_graalpy.sh b/scripts/repackage_graalpy.sh
@@ -22,9 +22,9 @@ if [[ "${PLATFORM}" != "windows" ]]; then
 fi
 
 if [[ "${PLATFORM}" == "linux" ]]; then
-  docker pull --platform "${DOCKER_PLATFORM} "${DOCKER_IMAGE}"
+  docker pull --platform "${DOCKER_PLATFORM}" "${DOCKER_IMAGE}"
   function maybe_docker () {
-    docker run --platform "${DOCKER_PLATFORM} -v .:/ws --workdir /ws "${DOCKER_IMAGE}" "$@"
+    docker run --platform "${DOCKER_PLATFORM}" -v .:/ws --workdir /ws "${DOCKER_IMAGE}" "$@"
     sudo chown -R $(id -u):$(id -g) .
   }
 else