From d93f313f970dad1b609de31d1ed0926b3119f338 Mon Sep 17 00:00:00 2001 From: Moritz Grimm Date: Fri, 22 May 2015 08:13:48 +0200 Subject: [PATCH] Attempt to parallel-build coverage reports --- gen-coverage-report.sh | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) diff --git a/gen-coverage-report.sh b/gen-coverage-report.sh index 775097a..d8de4a2 100755 --- a/gen-coverage-report.sh +++ b/gen-coverage-report.sh @@ -18,12 +18,16 @@ if [ -z "$(which genhtml)" ]; then echo "genhtml is required" >&2 exit 1 fi +_pb='' +if [ -n "$(which nproc)" ]; then + _pb="-j $(nproc)" +fi rm -rf "$DESTDIR" make distclean || : ./configure CFLAGS='-O0 -fprofile-arcs -ftest-coverage -fstack-protector-all' -make check +make ${_pb} check mkdir -p $DESTDIR lcov --capture --output-file $DESTDIR/coverage.tmp \