summaryrefslogtreecommitdiffstats
path: root/include/no_valgrind_without_big.inc
blob: ea1f2ac91ab8c3c46958fd433cbfd0bc4c4d079d (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
# include/no_valgrind_without_big.inc
#
# If we are running with Valgrind ($VALGRIND_TEST <> 0) than the resource
# consumption (storage space needed, runtime ...) will be extreme.
# Therefore we require that the option "--big-test" is also set.
#

if ($VALGRIND_TEST) {
  if (!$BIG_TEST)
  {
    --skip Need "--big-test" when running with Valgrind
  }
}