Lines Matching full:helgrind
1478 --disable-valgrind-helgrind
1479 Whether to skip helgrind during the Valgrind tests
16592 # Check whether --enable-valgrind-helgrind was given.
16604 { $as_echo "$as_me:${as_lineno-$LINENO}: checking for Valgrind tool helgrind" >&5
16605 $as_echo_n "checking for Valgrind tool helgrind... " >&6; }
16612 if `$VALGRIND --tool=helgrind --help >/dev/null 2>&1`; then :
16625 …as_fn_error $? "Valgrind does not support helgrind; reconfigure with --disable-valgrind-helgrind" …
16642 valgrind_enabled_tools="$valgrind_enabled_tools helgrind"
16763 valgrind_tools="memcheck helgrind drd sgcheck"
16777 # memcheck, helgrind, drd, sgcheck). (Default: various)
16791 valgrind_helgrind_flags = --tool=helgrind $(VALGRIND_helgrind_FLAGS)