diff options
author | Paul Phillips <paulp@improving.org> | 2011-12-09 11:11:44 -0800 |
---|---|---|
committer | Paul Phillips <paulp@improving.org> | 2011-12-09 11:23:38 -0800 |
commit | 9c15462891afd368d1e7d0ac3914613202428b24 (patch) | |
tree | 4a5caf6d4711ccb1d6fd982de2d64c52352cbf0d /tools/epfl-build | |
parent | abfc737822739d258aa22387eb1acd11df1ff5cd (diff) | |
download | scala-9c15462891afd368d1e7d0ac3914613202428b24.tar.gz scala-9c15462891afd368d1e7d0ac3914613202428b24.tar.bz2 scala-9c15462891afd368d1e7d0ac3914613202428b24.zip |
Swimming with the jenkins current.
Configuring via environment variables.
Diffstat (limited to 'tools/epfl-build')
-rwxr-xr-x | tools/epfl-build | 5 |
1 files changed, 2 insertions, 3 deletions
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 |