From 22dbe544fd0d95dea9e05cebbc3e26ca9acc462c Mon Sep 17 00:00:00 2001 From: Brett Jia Date: Sat, 19 Oct 2024 19:34:56 -0400 Subject: [PATCH] syntax --- scripts/repackage_graalpy.sh | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/scripts/repackage_graalpy.sh b/scripts/repackage_graalpy.sh index 359e86db..ea574754 100755 --- 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