Support configure args in gen-coverage-report.sh

mgrimm · mgrimm · commit ce0d1ffaabfc · 2020-01-22T22:55:27.000+01:00
diff --git 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
