10 lines
288 B
Bash
10 lines
288 B
Bash
# -*- 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"
|