diff options
author | Henri Sara <hesara@vaadin.com> | 2013-01-22 12:29:21 +0000 |
---|---|---|
committer | Vaadin Code Review <review@vaadin.com> | 2013-01-22 12:29:21 +0000 |
commit | 4105cc72f0937e904abe50ea87fad02ccd267971 (patch) | |
tree | ae79bdb32ae9c67ec20ccb0c28d255d8e8242f7e /server | |
parent | 7f0aea16a216d3a01f18aa0d942fac8c88c52806 (diff) | |
parent | 0ece55d0003e82745916f8bb282156edf54de6aa (diff) | |
download | vaadin-framework-4105cc72f0937e904abe50ea87fad02ccd267971.tar.gz vaadin-framework-4105cc72f0937e904abe50ea87fad02ccd267971.zip |
Merge "Include GWT sources in sources jar (#9102)"
Diffstat (limited to 'server')
-rw-r--r-- | server/build.xml | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/server/build.xml b/server/build.xml index 253d09a45b..91526dd1c5 100644 --- a/server/build.xml +++ b/server/build.xml @@ -33,7 +33,9 @@ </target> <target name="publish-local" depends="jar"> - <antcall target="common.sources.jar" /> + <antcall target="common.sources.jar"> + <reference torefid="extra.jar.includes" refid="server.gwt.includes" /> + </antcall> <antcall target="common.javadoc.jar" /> <antcall target="common.publish-local" /> |