From 2b28baafee20be7c933840c6bba59704f73fd397 Mon Sep 17 00:00:00 2001 From: Dwight Guth Date: Mon, 26 Aug 2024 14:07:01 -0500 Subject: [PATCH] open new shell with env var --- package/docker/Dockerfile.ubuntu-jammy | 2 +- package/docker/Dockerfile.ubuntu-noble | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/package/docker/Dockerfile.ubuntu-jammy b/package/docker/Dockerfile.ubuntu-jammy index bad20a3992..66e214c2e4 100644 --- a/package/docker/Dockerfile.ubuntu-jammy +++ b/package/docker/Dockerfile.ubuntu-jammy @@ -21,7 +21,7 @@ COPY pyk /pyk RUN pipx install poetry \ && pipx ensurepath \ && cd /pyk \ - && make build \ + && bash make build \ && pip install dist/*.whl \ && rm -rf /pyk diff --git a/package/docker/Dockerfile.ubuntu-noble b/package/docker/Dockerfile.ubuntu-noble index 33ab34aceb..999087b0cf 100644 --- a/package/docker/Dockerfile.ubuntu-noble +++ b/package/docker/Dockerfile.ubuntu-noble @@ -21,7 +21,7 @@ COPY pyk /pyk RUN pipx install poetry \ && pipx ensurepath \ && cd /pyk \ - && make build \ + && bash make build \ && pip install dist/*.whl \ && rm -rf /pyk