diff options
| author | Artur Signell <artur@vaadin.com> | 2015-06-23 23:10:07 +0300 |
|---|---|---|
| committer | Henri Sara <hesara@vaadin.com> | 2015-07-04 13:21:54 +0300 |
| commit | 522566b3d7f393e83669a0a8651a2b7b7e8ed1af (patch) | |
| tree | d0ea4429e7952da79a9655ba2930869949066591 /server/build.xml | |
| parent | bf8b89d00679eb90528028e7a729ee0add39dd90 (diff) | |
| download | vaadin-framework-522566b3d7f393e83669a0a8651a2b7b7e8ed1af.tar.gz vaadin-framework-522566b3d7f393e83669a0a8651a2b7b7e8ed1af.zip | |
Provide compressed vaadinBootstrap.js (#18329)
Change-Id: Id7c3d9e0d8095fbc537a2617fd2dd410b99fce50
Diffstat (limited to 'server/build.xml')
| -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" |