From 09b3bb8648fec903e4ac2ec1d047503d5f0f48d7 Mon Sep 17 00:00:00 2001 From: Tim Ruffing Date: Wed, 12 May 2021 11:49:36 +0200 Subject: [PATCH] Clean up git tree This removes the ununsed `obj` directory. It also suggests in the README to create the "coverage" files in a separate directory and adds the coverage files to .gitignore. readme: Improve instructions for coverage reports --- .gitignore | 8 ++++++++ README.md | 3 ++- obj/.gitignore | 0 3 files changed, 10 insertions(+), 1 deletion(-) delete mode 100644 obj/.gitignore diff --git a/.gitignore b/.gitignore index ccdef02b29486..b62055a39bc77 100644 --- a/.gitignore +++ b/.gitignore @@ -33,6 +33,14 @@ libtool *~ *.log *.trs + +coverage/ +coverage.html +coverage.*.html +*.gcda +*.gcno +*.gcov + src/libsecp256k1-config.h src/libsecp256k1-config.h.in src/ecmult_static_context.h diff --git a/README.md b/README.md index 197a56fff842a..a7eb2b0e8945c 100644 --- a/README.md +++ b/README.md @@ -96,7 +96,8 @@ To create a report, `gcovr` is recommended, as it includes branch coverage repor To create a HTML report with coloured and annotated source code: - $ gcovr --exclude 'src/bench*' --html --html-details -o coverage.html + $ mkdir -p coverage + $ gcovr --exclude 'src/bench*' --html --html-details -o coverage/coverage.html Reporting a vulnerability ------------ diff --git a/obj/.gitignore b/obj/.gitignore deleted file mode 100644 index e69de29bb2d1d..0000000000000