cargo update

RustCrypto · Dec 11, 2023 · 8617fd0 · 8617fd0
1 parent a28ccf7
commit 8617fd0
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 1 deletion.
diff --git a/marvin-toolkit/README.md b/marvin-toolkit/README.md
@@ -5,6 +5,6 @@ This document describes the procedure for replicating the analysis for the Marvi
 docker build -t marvin:latest .
 docker run --rm \
     --name marvin \
-    -v /home/ec2-user/RSA/marvin-toolkit/Cargo.toml:/home/rust-crypto/marvin-toolkit/example/rust-crypto/Cargo.toml \
+    -v /home/ec2-user/RSA/marvin-toolkit/Cargo.toml:/home/rustcrypto/marvin-toolkit/example/rust-crypto/Cargo.toml \
     marvin:latest
 ```
diff --git a/marvin-toolkit/entrypoint.sh b/marvin-toolkit/entrypoint.sh
@@ -2,6 +2,7 @@
 
 # Build the test harness
 cd example/rust-crypto
+cargo update
 cargo build --profile release
 cd ~/marvin-toolkit