Added a profile to set the scala versions #207

Merged
merged 1 commit into from Oct 10, 2012

Projects

None yet

3 participants

@skyluc
Member
skyluc commented Oct 9, 2012

The profile runs a tool which git the versions from the properties files
unzipped during the toolchain build.
Set a value to SET_VERSION to trigger the extra step.

This is needed for the updated ecosystem build.

@skyluc skyluc Added a profile to set the scala versions
The profile runs a tool which git the versions from the properties files
unzipped during the toolchain build.
Set a value to SET_VERSION to trigger the extra step.
e986f0c
@dragos
Member
dragos commented Oct 10, 2012

LGTM.

@dragos dragos merged commit 971e8a4 into scala-ide:master Oct 10, 2012
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment