coverage.sh: pass any cli args on to coverage.py

This commit is contained in:
Johannes Schauer Marin Rodrigues 2023-03-13 13:20:05 +01:00
parent 034698f8d3
commit 6b49a2dbbf
Signed by untrusted user: josch
GPG key ID: F2CBA5C78FBD83E1

View file

@ -69,7 +69,7 @@ mirror="http://127.0.0.1/debian"
export HAVE_QEMU HAVE_BINFMT RUN_MA_SAME_TESTS DEFAULT_DIST SOURCE_DATE_EPOCH CMD mirror export HAVE_QEMU HAVE_BINFMT RUN_MA_SAME_TESTS DEFAULT_DIST SOURCE_DATE_EPOCH CMD mirror
./coverage.py ./coverage.py "$@"
if [ -e shared/cover_db.img ]; then if [ -e shared/cover_db.img ]; then
# produce report inside the VM to make sure that the versions match or # produce report inside the VM to make sure that the versions match or