add cargo update

Certora · Nov 5, 2024 · 787da16 · 787da16
1 parent b81731b
commit 787da16
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/justfile b/justfile
@@ -30,7 +30,7 @@ build-cargo:
 	# AG: this fails for me with macport and libiconv
 	# AG: I have to disable libiconv, run this manually
 	# AG: and then re-enable it
-	cd {{ out_dir }}/cargo && env OPENSSL_STATIC=1 cargo build --release
+	cd {{ out_dir }}/cargo && cargo update && env OPENSSL_STATIC=1 cargo build --release
 
 [linux]
 build-cargo: