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