aboutsummaryrefslogtreecommitdiffhomepage
path: root/WORKSPACE
diff options
context:
space:
mode:
authorGravatar Nicolas Noble <nicolasnoble@users.noreply.github.com>2017-09-05 11:22:56 -0700
committerGravatar GitHub <noreply@github.com>2017-09-05 11:22:56 -0700
commit96a902fb72727efcd761942238b8da65894221b1 (patch)
tree6ae7c78a353967e512e0e76922fd1727c8f065e2 /WORKSPACE
parent4190f39afb5159488571b92292da892509020968 (diff)
parentfc49d6edabf6d85af514d94ab71e443a05ce6c41 (diff)
Merge pull request #12373 from nicolasnoble/gtest_is_not_gmock
Splitting gmock out of gtest.
Diffstat (limited to 'WORKSPACE')
-rw-r--r--WORKSPACE5
1 files changed, 5 insertions, 0 deletions
diff --git a/WORKSPACE b/WORKSPACE
index 82ea99f04b..bfb3a8c903 100644
--- a/WORKSPACE
+++ b/WORKSPACE
@@ -39,6 +39,11 @@ bind(
)
bind(
+ name = "gmock",
+ actual = "@submodule_gtest//:gmock",
+)
+
+bind(
name = "benchmark",
actual = "@submodule_benchmark//:benchmark",
)