From ce0d1ffaabfcf870f3c316f0d1dce290bd9f0641 Mon Sep 17 00:00:00 2001 From: Moritz Grimm Date: Wed, 22 Jan 2020 22:55:27 +0100 Subject: [PATCH] Support configure args in gen-coverage-report.sh --- gen-coverage-report.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/gen-coverage-report.sh b/gen-coverage-report.sh index d8de4a2..11cedd8 100755 --- a/gen-coverage-report.sh +++ b/gen-coverage-report.sh @@ -26,7 +26,7 @@ fi rm -rf "$DESTDIR" make distclean || : -./configure CFLAGS='-O0 -fprofile-arcs -ftest-coverage -fstack-protector-all' +./configure CFLAGS='-O0 -fprofile-arcs -ftest-coverage -fstack-protector-all' $* make ${_pb} check mkdir -p $DESTDIR