1
0
Fork 0

Support configure args in gen-coverage-report.sh

This commit is contained in:
Moritz Grimm 2020-01-22 22:55:27 +01:00
parent 80ec9c9900
commit ce0d1ffaab
1 changed files with 1 additions and 1 deletions

View File

@ -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