Lösung des Praktikums Systementwurf
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.
|
123456789101112131415 |
- #!/bin/bash
- script_dir=$(cd $(dirname "${BASH_SOURCE[0]}") && pwd)
-
- if [ $# -ne 1 ]
- then
- echo Usage $0 test-output-file
- exit 1
- fi
-
- cat $1 | sed -z -e 's/\(py_.* \[\)/ \[/g' | ${script_dir}/highlight_test_results.sh
-
- if grep -q FAIL $1
- then
- exit 1
- fi
|