1 files changed, 11 insertions, 0 deletions
diff --git a/WORKSPACE b/WORKSPACE
index da63c5fea8..5a3c4de0af 100644
--- a/WORKSPACE
+++ b/WORKSPACE
@@ -39,6 +39,11 @@ bind(
 )
 
 bind(
+    name = "benchmark",
+    actual = "@submodule_benchmark//:benchmark",
+)
+
+bind(
     name = "gflags",
     actual = "@com_github_gflags_gflags//:gflags",
 )
@@ -79,6 +84,12 @@ git_repository(
 )
 
 new_local_repository(
+    name = "submodule_benchmark",
+    path = "third_party/benchmark",
+    build_file = "third_party/benchmark.BUILD",
+)
+
+new_local_repository(
     name = "submodule_cares",
     path = "third_party/cares",
     build_file = "third_party/cares/cares.BUILD",