Improve Dockerfile clarity

seL4 · Aug 2, 2023 · 6720570 · 6720570
1 parent 384fd7e
commit 6720570
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/hacking/docker/Dockerfile b/hacking/docker/Dockerfile
@@ -29,8 +29,6 @@ RUN echo ". ~/.bashrc_extra" >> .bashrc
 
 WORKDIR /tmp
 
-ENV NIX_BUILD_SHELL=bash
-
 ARG STATEFUL
 
 COPY setup.sh .
@@ -39,4 +37,6 @@ RUN if [ "$STATEFUL" = "1" ]; then bash setup.sh; fi
 
 COPY nix.conf /etc/nix/
 
+ENV NIX_BUILD_SHELL=bash
+
 WORKDIR /work