Searched refs:SAVED_VALGRIND_CMD (Results 1 – 1 of 1) sorted by relevance
129 SAVED_VALGRIND_CMD="$VALGRIND_CMD"140 if [ "x$SAVED_VALGRIND_CMD" != "x" ]; then141 VALGRIND_CMD="$SAVED_VALGRIND_CMD"