Merge pull request #1712 from jsuereth/fix/osgi-dist

Fixing OSGi distribution.
scala · Dec 5, 2012 · e15d8fc · e15d8fc
2 parents 70a24f9 + e791a92
commit e15d8fc
Showing 1 changed file with 6 additions and 1 deletion.
diff --git a/build.xml b/build.xml
@@ -2672,7 +2672,12 @@ DISTRIBUTION
   <target name="dist.base" depends="dist.start">
     <mkdir dir="${dist.dir}/lib"/>
     <copy toDir="${dist.dir}/lib">
-      <fileset dir="${build-pack.dir}/lib"/>
+      <fileset dir="${build-pack.dir}/lib">
+        <include name="jline.jar"/>
+        <include name="scalacheck.jar"/>
+        <include name="scala-partest.jar"/>
+        <include name="scalap.jar"/>
+      </fileset>
     </copy>
     <mkdir dir="${dist.dir}/bin"/>
     <!-- TODO - Stop being inefficient and don't copy OSGi bundles overtop other jars. -->