Fix docker file (rust-lang#2352)

Fix small issue introduced by rust-lang#2311
celinval · Apr 6, 2023 · db516bc · db516bc
1 parent 4ec0c02
commit db516bc
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/scripts/ci/Dockerfile.bundle-release-20-04 b/scripts/ci/Dockerfile.bundle-release-20-04
@@ -25,5 +25,5 @@ RUN apt-get update && \
     rustup default $(rustup toolchain list | awk '{ print $1 }') && \
     cargo install --path ./kani-verifier && \
     cargo-kani setup --use-local-bundle ./kani-latest-x86_64-unknown-linux-gnu.tar.gz && \
-    apt-get clean
+    apt-get clean && \
     rm -rf /tmp/kani/* /root/.rustup/toolchains/*/share