summaryrefslogtreecommitdiff
path: root/tools/epfl-publish
Commit message (Collapse)AuthorAgeFilesLines
* Making path to settings.xml configurable.Paul Phillips2011-12-091-3/+8
| | | | Environment variable maven_settings.
* Boiling more logic out of jenkins.Paul Phillips2011-12-091-2/+10
| | | | | | Offer explicit settings.xml path for maven if some specific hardcoded path exists, don't otherwise. At least it's in one place where we can keep an eye on it.
* Swimming with the jenkins current.Paul Phillips2011-12-091-15/+21
| | | | Configuring via environment variables.
* Separated build and publish scripts.Paul Phillips2011-12-091-0/+31
Unified further with build options.