Merge pull request #3895 from lrytz/jline-update

Also update jline.version when update.versions is set during build

1 files changed, 2 insertions, 0 deletions

diff --git a/build.xml b/build.xml
index a89e694ac2..b7950f971c 100755
--- a/build.xml
+++ b/build.xml
@@ -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>