Update Prometheus to avoid warning (#1058)

This pulls in https://github.com/jupp0r/prometheus-cpp/pull/103 (fix
warning) and https://github.com/jupp0r/prometheus-cpp/pull/98 (add
missing header).
master
Rodrigo Queiro 2018-04-16 17:15:10 +02:00 committed by Wally B. Feed
parent ce71273737
commit 911c9ab920
1 changed files with 3 additions and 3 deletions

View File

@ -219,10 +219,10 @@ def cartographer_repositories():
_maybe(native.http_archive, _maybe(native.http_archive,
name = "com_github_jupp0r_prometheus_cpp", name = "com_github_jupp0r_prometheus_cpp",
sha256 = "41b202a206ba6339c4678ffe3690659fdb77287d97507aad82a83c5360b8ba8b", sha256 = "0d3e999dfbfc49bb117698154a01dac26fb59e77d0354ccb81107a6da7b014d0",
strip_prefix = "prometheus-cpp-b3914b1045c92649e81d020851f3bb06ef858df4", strip_prefix = "prometheus-cpp-8330b3f753fb774c9e0567baaac20ffb7042723b",
urls = [ urls = [
"https://github.com/jupp0r/prometheus-cpp/archive/b3914b1045c92649e81d020851f3bb06ef858df4.tar.gz", "https://github.com/jupp0r/prometheus-cpp/archive/8330b3f753fb774c9e0567baaac20ffb7042723b.tar.gz",
], ],
) )