# -*- shell-script -*-

# Get email when automated build fails. May be empty.
# values: "email1 email2 .. emailn"
NOTIFY="brucker@spamfence.net wolff@lri.fr frederic.tuong@lri.fr"

# Participate in frequent (nightly) build (only for small submissions)
# values: "yes" "no"
FREQUENT="yes"