Searched refs:VALGRIND (Results 1 – 2 of 2) sorted by relevance
35 unset VALGRIND48 VALGRIND=valgrind97 if [ ! -z "$VALGRIND" ]; then118 if ! ./start.sh $VM $VALGRIND $TRACE channels=$NUM_CH; then135 if [ ! -z "$VALGRIND" ] ; then
82 VALGRIND=y91 unset VALGRIND209 if [ "x$VALGRIND" = "xy" ]; then
