tests/expensive

   1 # Is a test expensive?
   2
   3 # Copyright (C) 2000, 2004 Free Software Foundation, Inc.
   4
   5 # This program is free software: you can redistribute it and/or modify
   6 # it under the terms of the GNU General Public License as published by
   7 # the Free Software Foundation, either version 3 of the License, or
   8 # (at your option) any later version.
   9
  10 # This program is distributed in the hope that it will be useful,
  11 # but WITHOUT ANY WARRANTY; without even the implied warranty of
  12 # MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
  13 # GNU General Public License for more details.
  14
  15 # You should have received a copy of the GNU General Public License
  16 # along with this program.  If not, see <http://www.gnu.org/licenses/>.
  17
  18 if test "$RUN_EXPENSIVE_TESTS" != yes; then
  19   cat <<EOF >&2
  20 $0: This test is relatively expensive, so it is disabled by default.
  21 To run it anyway, rerun make check with the RUN_EXPENSIVE_TESTS
  22 environment variable set to yes.  E.g.,
  23
  24   env RUN_EXPENSIVE_TESTS=yes make check
  25
  26 EOF
  27   (exit 77); exit 77
  28 fi