diff options
author | Jim Meyering <jim@meyering.net> | 2000-10-28 12:50:13 +0000 |
---|---|---|
committer | Jim Meyering <jim@meyering.net> | 2000-10-28 12:50:13 +0000 |
commit | c82dbabbeac4807b8d68f1ab570d5433e9b30f77 (patch) | |
tree | 30b20c1e385c27a0fb7f1982bf3da79f0788c322 | |
parent | 3bd2a886189fe41409d6261e399392be89a7716b (diff) | |
download | coreutils-c82dbabbeac4807b8d68f1ab570d5433e9b30f77.tar.xz |
*** empty log message ***
-rw-r--r-- | tests/expensive | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/tests/expensive b/tests/expensive new file mode 100644 index 000000000..1eeb10e2c --- /dev/null +++ b/tests/expensive @@ -0,0 +1,11 @@ +if test "$RUN_EXPENSIVE_TESTS" != yes; then + cat <<EOF >&2 +$0: 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 + +EOF + exit 77 +fi |