diff options
| -rw-r--r-- | tests/common | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/tests/common b/tests/common index 2d337b0b..cf463e82 100644 --- a/tests/common +++ b/tests/common @@ -9,6 +9,12 @@ _fail() exit 1 } +# log a message to the results file +_log() +{ + echo "$*" | tee -a $RESULTS +} + _not_run() { echo " [NOTRUN] $*" @@ -29,6 +35,13 @@ run_check_stdout() "$@" 2>&1 | tee -a $RESULTS || _fail "failed: $@" } +# same as run_check but does not fail the test, output is logged +run_mayfail() +{ + echo "############### $@" >> $RESULTS 2>&1 + "$@" >> $RESULTS 2>&1 || _log "failed (ignored): $@" +} + check_prereq() { if ! [ -f $TOP/$1 ]; then |