From 56536de18c058b5aecd86c2a967b1bf19ce601be Mon Sep 17 00:00:00 2001
From: Paul Phillips <paulp@improving.org>
Date: Fri, 9 Dec 2011 19:19:01 -0800
Subject: Making path to settings.xml configurable.

Environment variable maven_settings.
---
 tools/epfl-publish | 11 ++++++++---
 1 file 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
 }
 
-- 
cgit v1.2.3