scala - The Scala programming language

	Commit message (Collapse)	Author	Age	Files	Lines
*	Remove maven deply from epfl-publish script.	Lukas Rytz	2012-01-10	1	-18/+0
\| \| \| \|	This is done by the separate scala-nightly-maven-deploy jenkins job, doing it here fails depending on the build machine (/home/linuxsoft/... is not available everywhere).
*	Making path to settings.xml configurable.	Paul Phillips	2011-12-09	1	-3/+8
\| \| \| \|	Environment variable maven_settings.
*	Boiling more logic out of jenkins.	Paul Phillips	2011-12-09	1	-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 Phillips	2011-12-09	1	-15/+21
\| \| \| \|	Configuring via environment variables.
*	Separated build and publish scripts.	Paul Phillips	2011-12-09	1	-0/+31
	Unified further with build options.