From 9c15462891afd368d1e7d0ac3914613202428b24 Mon Sep 17 00:00:00 2001
From: Paul Phillips <paulp@improving.org>
Date: Fri, 9 Dec 2011 11:11:44 -0800
Subject: Swimming with the jenkins current.

Configuring via environment variables.
---
 tools/epfl-build | 5 ++---
 1 file changed, 2 insertions(+), 3 deletions(-)

(limited to 'tools/epfl-build')

diff --git a/tools/epfl-build b/tools/epfl-build
index e8f1be4a46..dd66307de3 100755
--- a/tools/epfl-build
+++ b/tools/epfl-build
@@ -10,8 +10,7 @@ Usage: $0 <version> [opt opt ...]
   Example:   $0 -Xcheckinit -Ycheck:all
 
 Environment variables:
-
-  EXTRA_TARGETS   Additional ant targets to run after nightly
+  extra_ant_targets   Additional ant targets to run after nightly
 
 EOM
   exit 0
@@ -25,5 +24,5 @@ ant all.clean && ./pull-binary-libs.sh
 
 ant $scalaArgs build-opt &&
 ant $scalaArgs nightly &&
-for target in $EXTRA_TARGETS; do ant $target ; done
+for target in $extra_ant_targets; do ant $target ; done
 # [[ -n "$BUILD_DOCSCOMP" ]] && ant docscomp
-- 
cgit v1.2.3