diff options
author | Jon Bratseth <bratseth@oath.com> | 2019-03-04 09:52:52 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2019-03-04 09:52:52 +0100 |
commit | 4637bec376d11fb3800e30970abc9ea64ce5a01b (patch) | |
tree | f43c4903ba9983e9b39cbcb71f91767a43faa9b2 /flags | |
parent | e53a4f4a7d3e44aff683a4bedf210b9f6edae5c9 (diff) | |
parent | 42929e19c9c482f208ad3c97f47064024e190336 (diff) |
Merge pull request #8660 from vespa-engine/geirst/dont-use-gmock-for-now
Don't use gmock for now as it triggers valgrind.
Diffstat (limited to 'flags')
0 files changed, 0 insertions, 0 deletions