about summary refs log tree commit diff
path: root/tvix/tools/crunch-v2/build.rs
diff options
context:
space:
mode:
authorVincent Ambo <mail@tazj.in>2024-10-12T22·33+0300
committerclbot <clbot@tvl.fyi>2024-10-12T23·02+0000
commit398a9b531758297417280ccf06b82c85f3d236dd (patch)
tree1cc1461a07db173c2c2594f447d6d584976dcac1 /tvix/tools/crunch-v2/build.rs
parentb21cb11b7f65d84baca62a0492d63d184e4f5095 (diff)
chore(tvix/tools): move crunch-v2 to //users/edef r/8798
This is not a core Tvix tool, it's some sort of one-off analysis thing.

Change-Id: I05fcbed45abad27d6b5cfd49db1727249dad3971
Reviewed-on: https://cl.tvl.fyi/c/depot/+/12603
Autosubmit: tazjin <tazjin@tvl.su>
Tested-by: BuildkiteCI
Reviewed-by: edef <edef@edef.eu>
Diffstat (limited to 'tvix/tools/crunch-v2/build.rs')
-rw-r--r--tvix/tools/crunch-v2/build.rs6
1 files changed, 0 insertions, 6 deletions
diff --git a/tvix/tools/crunch-v2/build.rs b/tvix/tools/crunch-v2/build.rs
deleted file mode 100644
index 25e6d0be21a4..000000000000
--- a/tvix/tools/crunch-v2/build.rs
+++ /dev/null
@@ -1,6 +0,0 @@
-use std::io::Result;
-
-fn main() -> Result<()> {
-    prost_build::compile_protos(&["protos/flatstore.proto"], &["protos/"])?;
-    Ok(())
-}