diff options
Diffstat (limited to 'tests/docker/common.rc')
-rwxr-xr-x | tests/docker/common.rc | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/tests/docker/common.rc b/tests/docker/common.rc index ba1f942..4ff5974 100755 --- a/tests/docker/common.rc +++ b/tests/docker/common.rc @@ -40,6 +40,17 @@ build_qemu() make $MAKEFLAGS } +check_qemu() +{ + # default to make check unless the caller specifies + if test -z "$@"; then + INVOCATION="check" + else + INVOCATION="$@" + fi + make $MAKEFLAGS $INVOCATION +} + test_fail() { echo "$@" |