diff options
Diffstat (limited to 'server')
| -rw-r--r-- | server/build.xml | 10 |
1 files changed, 9 insertions, 1 deletions
diff --git a/server/build.xml b/server/build.xml index e88b53d937..4bb2bde730 100644 --- a/server/build.xml +++ b/server/build.xml @@ -22,9 +22,17 @@ <fileset dir="${vaadin.basedir}/WebContent"> <include name="VAADIN/vaadinBootstrap.js" /> </fileset> + <fileset dir="${result.dir}"> + <include name="VAADIN/*" /> + </fileset> </union> - <target name="jar"> + <target name="compress-files"> + <mkdir dir="${result.dir}/VAADIN" /> + <gzip src="${vaadin.basedir}/WebContent/VAADIN/vaadinBootstrap.js" + destfile="${result.dir}/VAADIN/vaadinBootstrap.js.gz" /> + </target> + <target name="jar" depends="compress-files"> <property name="server.osgi.import" value="javax.servlet;version="2.4.0",javax.servlet.http;version="2.4.0",javax.validation;version="1.0.0.GA";resolution:=optional,org.jsoup;version="1.6.3",org.jsoup.parser;version="1.6.3",org.jsoup.nodes;version="1.6.3",org.jsoup.helper;version="1.6.3",org.jsoup.safety;version="1.6.3",org.jsoup.select;version="1.6.3"" /> <property name="server.osgi.require" |