## -*- 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/debian.supp"

## Default options for Valgrind

VALGRIND_OPTS=""

