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