Lines Matching refs:helgrind
1442 --disable-valgrind-helgrind
1443 Whether to skip helgrind during the Valgrind tests
13399 # Check whether --enable-valgrind-helgrind was given.
13411 { $as_echo "$as_me:${as_lineno-$LINENO}: checking for Valgrind tool helgrind" >&5
13412 $as_echo_n "checking for Valgrind tool helgrind... " >&6; }
13419 if `$VALGRIND --tool=helgrind --help >/dev/null 2>&1`; then :
13432 as_fn_error $? "Valgrind does not support helgrind; reconfigure with --disable-valgrind-helgrind" "$LINENO" 5
13449 valgrind_enabled_tools="$valgrind_enabled_tools helgrind"
13567 valgrind_tools="memcheck helgrind drd sgcheck"
13581 # memcheck, helgrind, drd, sgcheck). (Default: various)
13595 valgrind_helgrind_flags = --tool=helgrind $(VALGRIND_helgrind_FLAGS)
