You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
|
#!/bin/bash
|
|
ran=0
|
|
SECONDS=0 ;
|
|
close () {
|
|
exit 10;
|
|
}
|
|
|
|
for f in tests/*.py; do
|
|
python3 "$f" || close # if needed
|
|
let "ran++"
|
|
done
|
|
echo "ran $ran test files successfully in $SECONDS seconds"
|
|
rm -f *.dat
|
|
|
