From 6b49a2dbbf0161d285b59b99b75fa50105b5d9e7 Mon Sep 17 00:00:00 2001 From: Johannes Schauer Marin Rodrigues Date: Mon, 13 Mar 2023 13:20:05 +0100 Subject: [PATCH] coverage.sh: pass any cli args on to coverage.py --- coverage.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/coverage.sh b/coverage.sh index 095b804..dc01ade 100755 --- a/coverage.sh +++ b/coverage.sh @@ -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 -./coverage.py +./coverage.py "$@" if [ -e shared/cover_db.img ]; then # produce report inside the VM to make sure that the versions match or