diff options
Diffstat (limited to 'third_party/gtest')
-rw-r--r-- | third_party/gtest/default.nix | 12 |
1 files changed, 0 insertions, 12 deletions
diff --git a/third_party/gtest/default.nix b/third_party/gtest/default.nix deleted file mode 100644 index d3540a48311a..000000000000 --- a/third_party/gtest/default.nix +++ /dev/null @@ -1,12 +0,0 @@ -{ pkgs, ... }: - -(pkgs.gtest.override { - stdenv = pkgs.fullLlvm11Stdenv; -}).overrideAttrs (_: { - src = pkgs.fetchFromGitHub { - owner = "google"; - repo = "googletest"; - rev = "9dce5e5d878176dc0054ef381f5c6e705f43ef99"; - sha256 = "05xi61j7j251dzkgk9965lqpbacsy44iblzql941kw9d4nk0q6jl"; - }; -}) |