Lines Matching refs:drd
1444 --disable-valgrind-drd Whether to skip drd during the Valgrind tests
13455 # Check whether --enable-valgrind-drd was given.
13467 { $as_echo "$as_me:${as_lineno-$LINENO}: checking for Valgrind tool drd" >&5
13468 $as_echo_n "checking for Valgrind tool drd... " >&6; }
13475 if `$VALGRIND --tool=drd --help >/dev/null 2>&1`; then :
13488 as_fn_error $? "Valgrind does not support drd; reconfigure with --disable-valgrind-drd" "$LINENO" 5
13505 valgrind_enabled_tools="$valgrind_enabled_tools drd"
13567 valgrind_tools="memcheck helgrind drd sgcheck"
13581 # memcheck, helgrind, drd, sgcheck). (Default: various)
13596 valgrind_drd_flags = --tool=drd $(VALGRIND_drd_FLAGS)
