## -*- sh -*-
## Valgrind defaults (Debian-specific file)
##
## When this file is sourced, the following variables are defined:
##
## $version = valgrind's version
## $VALGRIND = /usr/lib/valgrind (Valgrind's binary directory)

## The default (master) suppressions file. 

SUPPFILE="$VALGRIND/woody.supp"

## The (optional) extra suppressions file.

LOCALSUPP=""

## Default options for Valgrind

VGOPTIONS=""

## Default options for Cachegrind

CGOPTIONS=""



