# Configuration for Arty
# These are just envionment variables you can set in any script.
export ARTY_JENKINS_URL="http://localhost:8080"
export ARTY_DOWNLOAD_DIR="/tmp"