2024-02-24 12:28:55 +01:00
|
|
|
#!/bin/bash
|
|
|
|
|
|
2024-12-06 11:14:32 +01:00
|
|
|
# make sure we are in the right directory
|
|
|
|
|
SCRIPT_DIR=$( cd -- "$( dirname -- "${BASH_SOURCE[0]}" )" &> /dev/null && pwd )
|
|
|
|
|
cd $SCRIPT_DIR
|
|
|
|
|
|
2024-02-24 12:28:55 +01:00
|
|
|
set -eu
|
|
|
|
|
|
|
|
|
|
if [ $# -lt 1 ]
|
|
|
|
|
then
|
2024-11-26 16:20:18 +01:00
|
|
|
pytest -v -x
|
2024-02-24 12:28:55 +01:00
|
|
|
else
|
2024-11-26 16:20:18 +01:00
|
|
|
pytest "$@"
|
2024-02-24 12:28:55 +01:00
|
|
|
fi
|