diff options
| author | Artur Signell <artur@vaadin.com> | 2015-06-23 23:10:07 +0300 |
|---|---|---|
| committer | Artur Signell <artur@vaadin.com> | 2015-06-23 23:10:07 +0300 |
| commit | 1dfdf1a4d701c370127739a15d98dfa2e63432b0 (patch) | |
| tree | d65da962a1f04a724701f2d58a6b22b7e321fd83 | |
| parent | a41887756378dc0c16754afd55834f529c474ee0 (diff) | |
| download | vaadin-framework-1dfdf1a4d701c370127739a15d98dfa2e63432b0.tar.gz vaadin-framework-1dfdf1a4d701c370127739a15d98dfa2e63432b0.zip | |
Provide compressed vaadinBootstrap.js (#18329)
Change-Id: Ibc8efdf8d9d5ace8f6db7b19e54978b35458a79f
| -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" |