change(docker): allow run-pytests to collect coverage

Additionally fix up the argument parsing to be a bit less
flexible.

Signed-off-by: Kevin Morris <kevr@0cost.org>
This commit is contained in:
Kevin Morris 2021-11-22 10:18:02 -08:00
parent 34747359ba
commit e891d7c8e8
No known key found for this signature in database
GPG key ID: F7E46DED420788F3

View file

@ -1,5 +1,4 @@
#!/bin/bash
set -eou pipefail
COVERAGE=1
PARAMS=()
@ -11,13 +10,13 @@ while [ $# -ne 0 ]; do
COVERAGE=0
shift
;;
-*)
echo "usage: $0 [--no-coverage] targets ..."
exit 1
clean)
rm -f .coverage
shift
;;
*)
PARAMS+=("$key")
shift
echo "usage: $0 [--no-coverage] targets ..."
exit 1
;;
esac
done
@ -30,7 +29,7 @@ pytest
# By default, report coverage and move it into cache.
if [ $COVERAGE -eq 1 ]; then
make -C test coverage
make -C test coverage || /bin/true
# /data is mounted as a volume. Copy coverage into it.
# Users can then sanitize the coverage locally in their