From 772e3c9d1a24f2c1e1e69d4f2bd85f35b4c324c2 Mon Sep 17 00:00:00 2001 From: tison Date: Fri, 13 Aug 2021 17:23:58 +0800 Subject: [PATCH] Makefile: Remove outdated TODO (#10721) This TODO is already fixed by e3349e122d6bc1ff0ecc08b6ebdfbe218f6f40cc. Signed-off-by: tison Co-authored-by: Ti Chi Robot --- ci-build/Makefile | 1 - 1 file changed, 1 deletion(-) diff --git a/ci-build/Makefile b/ci-build/Makefile index a21329fc9de..b089a82bb77 100644 --- a/ci-build/Makefile +++ b/ci-build/Makefile @@ -11,7 +11,6 @@ ${LOCAL_DIR}/lib/libgflags.a: make && \ make install -# TODO: use official archive once https://github.com/SimonKagstrom/kcov/pull/146 is resolved and published. ${LOCAL_DIR}/bin/kcov: cd /tmp && \ curl -L https://github.com/SimonKagstrom/kcov/archive/v33.tar.gz -o kcov.tar.gz && \