diff options
Diffstat (limited to 'tests/test-lib.sh')
-rw-r--r-- | tests/test-lib.sh | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/tests/test-lib.sh b/tests/test-lib.sh index 8f56ab105..78ac97dd2 100644 --- a/tests/test-lib.sh +++ b/tests/test-lib.sh @@ -151,6 +151,19 @@ environment variable set to yes. E.g., fi } +expensive_() +{ + if test "$RUN_EXPENSIVE_TESTS" != yes; then + skip_test_ ' +This test is relatively expensive, so it is disabled by default. +To run it anyway, rerun make check with the RUN_EXPENSIVE_TESTS +environment variable set to yes. E.g., + + env RUN_EXPENSIVE_TESTS=yes make check +' + fi +} + require_root_() { uid_is_privileged_ || skip_test_ "must be run as root" |