1 files changed, 11 insertions, 0 deletions
diff --git a/WORKSPACE b/WORKSPACE
index 54d27f06a9..5ba82f3127 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",
 )
@@ -73,6 +78,12 @@ local_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",