diff options
author | Vincent Ambo <mail@tazj.in> | 2024-10-12T22·33+0300 |
---|---|---|
committer | clbot <clbot@tvl.fyi> | 2024-10-12T23·02+0000 |
commit | 398a9b531758297417280ccf06b82c85f3d236dd (patch) | |
tree | 1cc1461a07db173c2c2594f447d6d584976dcac1 /tvix/tools/crunch-v2/build.rs | |
parent | b21cb11b7f65d84baca62a0492d63d184e4f5095 (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.rs | 6 |
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(()) -} |