aboutsummaryrefslogtreecommitdiffhomepage
path: root/WORKSPACE
diff options
context:
space:
mode:
authorGravatar Nicolas "Pixel" Noble <pixel@nobis-crew.org>2017-03-28 00:27:34 +0200
committerGravatar Nicolas "Pixel" Noble <pixel@nobis-crew.org>2017-03-28 00:27:34 +0200
commitf3ca374929ed510aed0563ba273d5804ab5bc752 (patch)
tree81b6cc6fcb98adf103dba24598b5e1e354f46e49 /WORKSPACE
parent6f7dcd0ade302ab348832bf3e765198be34278f9 (diff)
parent739cecb0bc1f1ba3b2e0b390795cbaf429ec81c2 (diff)
Merge branch 'master' of https://github.com/grpc/grpc into cpp_bazelness
Diffstat (limited to 'WORKSPACE')
-rw-r--r--WORKSPACE6
1 files changed, 6 insertions, 0 deletions
diff --git a/WORKSPACE b/WORKSPACE
index 5ba82f3127..5a3c4de0af 100644
--- a/WORKSPACE
+++ b/WORKSPACE
@@ -77,6 +77,12 @@ local_repository(
path = "third_party/gflags",
)
+git_repository(
+ name = "mongoose_repo",
+ commit = "4120a97945b41195a6223a600dae8e3b19bed19e",
+ remote = "https://github.com/makdharma/mongoose.git"
+)
+
new_local_repository(
name = "submodule_benchmark",
path = "third_party/benchmark",