Browse Source

Package all widgets sources into sources.jar (#16805)

Change-Id: Ia1a3d8444d0b660a1f0141e872230758fbf5d95a
tags/7.5.0.alpha1
Artur Signell 9 years ago
parent
commit
405aef419f
1 changed files with 5 additions and 2 deletions
  1. 5
    2
      widgets/build.xml

+ 5
- 2
widgets/build.xml View File

<property name="jar.file" <property name="jar.file"
location="${result.dir}/lib/${module.name}-${vaadin.version}.jar" /> location="${result.dir}/lib/${module.name}-${vaadin.version}.jar" />
<antcall target="common.jar"> <antcall target="common.jar">
<param name="src" value="${result.dir}/src" />
<param name="src" value="${result.src}" />
<reference refid="jar.includes" torefid="extra.jar.includes" /> <reference refid="jar.includes" torefid="extra.jar.includes" />
</antcall> </antcall>
</target> </target>


<target name="publish-local" depends="jar"> <target name="publish-local" depends="jar">
<antcall target="common.sources.jar"> <antcall target="common.sources.jar">
<param name="src" value="${result.src}" />
<reference torefid="extra.jar.includes" refid="jar.includes" /> <reference torefid="extra.jar.includes" refid="jar.includes" />
</antcall> </antcall>
<antcall target="common.javadoc.jar" />
<antcall target="common.javadoc.jar">
<param name="src" value="${result.src}" />
</antcall>


<antcall target="common.publish-local" /> <antcall target="common.publish-local" />
</target> </target>

Loading…
Cancel
Save