1# include/no_valgrind_without_big.inc
2#
3# If we are running with Valgrind ($VALGRIND_TEST <> 0) than the resource
4# consumption (storage space needed, runtime ...) will be extreme.
5# Therefore we require that the option "--big-test" is also set.
6#
7
8if ($VALGRIND_TEST) {
9  if (!$BIG_TEST)
10  {
11    --skip Need "--big-test" when running with Valgrind
12  }
13}
14