16 lines
671 B
Diff
16 lines
671 B
Diff
Workaround bug https://github.com/android-ndk/ndk/issues/82 where std::to_string
|
|
is not available yet.
|
|
|
|
diff -u -r ../llvm-3.9.0.src/tools/sancov/sancov.cc ./tools/sancov/sancov.cc
|
|
--- ../llvm-3.9.0.src/tools/sancov/sancov.cc 2016-07-13 22:24:01.000000000 -0400
|
|
+++ ./tools/sancov/sancov.cc 2016-09-04 11:48:19.647813216 -0400
|
|
@@ -512,7 +512,7 @@
|
|
static std::string formatHtmlPct(size_t Pct) {
|
|
Pct = std::max(std::size_t{0}, std::min(std::size_t{100}, Pct));
|
|
|
|
- std::string Num = std::to_string(Pct);
|
|
+ std::string Num = llvm::utostr(Pct);
|
|
std::string Zeroes(3 - Num.size(), '0');
|
|
if (!Zeroes.empty())
|
|
Zeroes = "<span class='lz'>" + Zeroes + "</span>";
|