Tentatively skip cargo clean

cryspen · Jul 18, 2024 · aa7a8ea · aa7a8ea
1 parent c0398f0
commit aa7a8ea
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/libcrux-ml-kem/boring.sh b/libcrux-ml-kem/boring.sh
@@ -5,7 +5,7 @@ set -e
 SED=$(which gsed &>/dev/null && echo gsed || echo sed)
 
 # Extract the C code
-cargo clean
+# cargo clean
 ./c.sh --config cg.yaml --out cg --mlkem768 \
  --no-glue --no-unrolling --no-karamel_include --no-karamel_include