fix: Comment in dockerfile breaking cargo build

When building the docker image, newlines were removed meaning the
commands after the comment about why we do not install kani for aarch64
became part of the comment itself. This resulted in a broken docker
image.

Fixes #3960

Signed-off-by: Patrick Roy <[email protected]>

Author: roypat

tools/devctr/Dockerfile

@@ -71,12 +71,12 @@ RUN cd /tmp/poetry && \
     HOME=. POETRY_VIRTUALENVS_CREATE=false poetry install --only main --no-interaction \
     && rm -rf ~/.cache ~/.local /tmp/poetry
 
-# Install the Rust toolchain
+# Install the Rust toolchain. Kani only work on x86, so only try to install it there.
 RUN curl https://sh.rustup.rs -sSf | sh -s -- -y --default-toolchain "$RUST_TOOLCHAIN" \
     && rustup target add $ARCH-unknown-linux-musl \
     && rustup component add llvm-tools-preview \
     && cargo install cargo-audit cargo-deny grcov cargo-sort \
-    && (if [ "$ARCH" = "x86_64" ]; then cargo install kani-verifier && cargo kani setup; else true; fi) # Kani only work on x86_64 \
+    && (if [ "$ARCH" = "x86_64" ]; then cargo install kani-verifier && cargo kani setup; else true; fi) \
     && rm -rf "$CARGO_HOME/registry" \
     && ln -s "$CARGO_REGISTRY_DIR" "$CARGO_HOME/registry" \
     && rm -rf "$CARGO_HOME/git" \

tools/devtool

@@ -72,7 +72,7 @@
 DEVCTR_IMAGE_NO_TAG="public.ecr.aws/firecracker/fcuvm"
 
 # Development container tag
-DEVCTR_IMAGE_TAG=${DEVCTR_IMAGE_TAG:-v61}
+DEVCTR_IMAGE_TAG=${DEVCTR_IMAGE_TAG:-v62}
 
 # Development container image (name:tag)
 # This should be updated whenever we upgrade the development container.