diff options
author | Lukas Rytz <lukas.rytz@gmail.com> | 2014-07-22 15:15:46 +0200 |
---|---|---|
committer | Lukas Rytz <lukas.rytz@gmail.com> | 2014-07-22 16:10:34 +0200 |
commit | ee665e2f041b5e65f019e0168925b89d59d600d2 (patch) | |
tree | c2f797982a62b0960bb9419333ede7c51ee8f04a /build.xml | |
parent | 73fb460c1cd20ee97556ec0867d17efaa795d129 (diff) | |
download | scala-ee665e2f041b5e65f019e0168925b89d59d600d2.tar.gz scala-ee665e2f041b5e65f019e0168925b89d59d600d2.tar.bz2 scala-ee665e2f041b5e65f019e0168925b89d59d600d2.zip |
Also update jline.version when update.versions is set during build
Diffstat (limited to 'build.xml')
-rwxr-xr-x | build.xml | 2 |
1 files changed, 2 insertions, 0 deletions
@@ -558,6 +558,7 @@ TODO: <echo message="scala-swing.version.number = ${scala-swing.version.number}"/> <echo message="akka-actor.version.number = ${akka-actor.version.number}"/> <echo message="actors-migration.version.number = ${actors-migration.version.number}"/> + <echo message="jline.version = ${jline.version}"/> <echo message="partest.version.number = ${partest.version.number}"/> <echo message="scalacheck.version.number = ${scalacheck.version.number}"/> @@ -572,6 +573,7 @@ TODO: <entry key="scala-swing.version.number" value="${scala-swing.version.number}"/> <entry key="akka-actor.version.number" value="${akka-actor.version.number}"/> <entry key="actors-migration.version.number" value="${actors-migration.version.number}"/> + <entry key="jline.version" value="${jline.version}"/> <entry key="partest.version.number" value="${partest.version.number}"/> <entry key="scalacheck.version.number" value="${scalacheck.version.number}"/> </propertyfile> |