1 files changed, 11 insertions, 0 deletions
diff --git a/WORKSPACE b/WORKSPACE
index 9b79d04cde..8e15cb778b 100644
--- a/WORKSPACE
+++ b/WORKSPACE
@@ -34,8 +34,13 @@ bind(
 )
 
 bind(
+<<<<<<< HEAD
+    name = "benchmark",
+    actual = "@submodule_benchmark//:benchmark",
+=======
     name = "gflags",
     actual = "@com_github_gflags_gflags//:gflags",
+>>>>>>> f2cf3d94a1a46db2ebb2c13c3476e58ecdae6006
 )
 
 new_local_repository(
@@ -66,3 +71,9 @@ local_repository(
     name = "com_github_gflags_gflags",
     path = "third_party/gflags",
 )
+
+new_local_repository(
+    name = "submodule_benchmark",
+    path = "third_party/benchmark",
+    build_file = "third_party/benchmark.BUILD",
+)