diff options
author | Paul Phillips <paulp@improving.org> | 2011-12-09 19:19:01 -0800 |
---|---|---|
committer | Paul Phillips <paulp@improving.org> | 2011-12-09 19:19:01 -0800 |
commit | 56536de18c058b5aecd86c2a967b1bf19ce601be (patch) | |
tree | 61da302d6e910cdfaffc9c764941e76924462f84 /tools/epfl-publish | |
parent | 59348d0160b3f7d7c78f29f866017d88b16dd9b0 (diff) | |
download | scala-56536de18c058b5aecd86c2a967b1bf19ce601be.tar.gz scala-56536de18c058b5aecd86c2a967b1bf19ce601be.tar.bz2 scala-56536de18c058b5aecd86c2a967b1bf19ce601be.zip |
Making path to settings.xml configurable.
Environment variable maven_settings.
Diffstat (limited to 'tools/epfl-publish')
-rwxr-xr-x | tools/epfl-publish | 11 |
1 files changed, 8 insertions, 3 deletions
diff --git a/tools/epfl-publish b/tools/epfl-publish index 59ae6f138a..e9cd97b3d2 100755 --- a/tools/epfl-publish +++ b/tools/epfl-publish @@ -1,6 +1,7 @@ #!/usr/bin/env bash # # publishes nightly build if $publish_to is set in environment. +# alternate maven settings.xml file given in $maven_settings. # [[ $# -eq 1 ]] || { @@ -22,9 +23,13 @@ version="$1" # should not be hardcoded # adds -Dsettings.file= if fixed path is present mavenSettingsOption () { - path="/home/linuxsoft/apps/hudson-maven-settings/settings.xml" - if [[ -f $path ]]; then - echo -Dsettings.file="$path" + hardcoded_path="/home/linuxsoft/apps/hudson-maven-settings/settings.xml" + + # environment variable + if [[ -n $maven_settings ]]; then + echo -Dsettings.file="$maven_settings" + elif [[ -f $hardcoded_path ]]; then + echo -Dsettings.file="$hardcoded_path" fi } |