diff options
author | Paul Phillips <paulp@improving.org> | 2011-12-09 19:14:46 -0800 |
---|---|---|
committer | Paul Phillips <paulp@improving.org> | 2011-12-09 19:15:22 -0800 |
commit | 59348d0160b3f7d7c78f29f866017d88b16dd9b0 (patch) | |
tree | 2b3d4f0ddcc67bcad1e41cd500f0bfbc292dbb37 /build.xml | |
parent | 9c15462891afd368d1e7d0ac3914613202428b24 (diff) | |
download | scala-59348d0160b3f7d7c78f29f866017d88b16dd9b0.tar.gz scala-59348d0160b3f7d7c78f29f866017d88b16dd9b0.tar.bz2 scala-59348d0160b3f7d7c78f29f866017d88b16dd9b0.zip |
Boiling more logic out of jenkins.
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.
Diffstat (limited to 'build.xml')
0 files changed, 0 insertions, 0 deletions