diff options
Diffstat (limited to 'tests/expensive')
-rw-r--r-- | tests/expensive | 30 |
1 files changed, 30 insertions, 0 deletions
diff --git a/tests/expensive b/tests/expensive new file mode 100644 index 0000000..cc3f40d --- /dev/null +++ b/tests/expensive @@ -0,0 +1,30 @@ +# Is a test expensive? + +# Copyright (C) 2000, 2004 Free Software Foundation, Inc. + +# This program is free software; you can redistribute it and/or modify +# it under the terms of the GNU General Public License as published by +# the Free Software Foundation; either version 2 of the License, or +# (at your option) any later version. + +# This program is distributed in the hope that it will be useful, +# but WITHOUT ANY WARRANTY; without even the implied warranty of +# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the +# GNU General Public License for more details. + +# You should have received a copy of the GNU General Public License +# along with this program; if not, write to the Free Software +# Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA +# 02110-1301, USA. + +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); exit 77 +fi |