rm

succinctlabs · Sep 10, 2024 · 009279d · 009279d
1 parent b6a4f10
commit 009279d
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/scripts/prove/build.rs b/scripts/prove/build.rs
@@ -61,10 +61,10 @@ fn main() {
         // Note: Don't comment this out, because the Docker program depends on the native program
         // for range being built.
         build_native_program(program);
-        build_zkvm_program(program);
+        // build_zkvm_program(program);
     }
 
-    build_zkvm_program("aggregation");
+    // build_zkvm_program("aggregation");
     // Note: Don't comment this out, because the Docker program depends on the native host runner
     // being built.
     build_native_host_runner();