open new shell with env var

runtimeverification · Aug 26, 2024 · 2b28baa · 2b28baa
1 parent 25bfdb1
commit 2b28baa
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git 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
@@ -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