Citadel -> Verifiable Matcher (5 of N)

Summary: Fix supertd to refer to both possible names for now. Differential Revision: D53553710 fbshipit-source-id: 582968a8eef5ef6b1455f4606d4c04b7dee0ece0
facebookincubator · Feb 13, 2024 · f5bac14 · f5bac14
1 parent 4d5dfbf
commit f5bac14
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 0 deletions.
diff --git a/supertd/bin/main.rs b/supertd/bin/main.rs
@@ -22,6 +22,8 @@ enum Args {
     #[cfg(fbcode_build)]
     Citadel(verifiable_matcher::Args),
     #[cfg(fbcode_build)]
+    VerifiableMatcher(verifiable_matcher::Args),
+    #[cfg(fbcode_build)]
     Ranker(ranker::Args),
     #[cfg(fbcode_build)]
     Scheduler(scheduler::Args),
@@ -53,6 +55,8 @@ pub fn main(fb: FacebookInit) -> anyhow::Result<()> {
             #[cfg(fbcode_build)]
             Args::Citadel(args) => verifiable_matcher::main(args),
             #[cfg(fbcode_build)]
+            Args::VerifiableMatcher(args) => verifiable_matcher::main(args),
+            #[cfg(fbcode_build)]
             Args::Ranker(args) => ranker::main(args),
             #[cfg(fbcode_build)]
             Args::Scheduler(args) => scheduler::main(fb, args),

diff --git a/td_util/src/tracing.rs b/td_util/src/tracing.rs
@@ -29,6 +29,7 @@ pub fn init_tracing() {
             "info",
             "btd=debug",
             "citadel=debug",
+            "verifiable_matcher=debug",
             "ranker=debug",
             "scheduler=debug",
             "targets=debug",