diff options
| author | Artur Signell <artur@vaadin.com> | 2015-06-24 23:43:31 +0300 |
|---|---|---|
| committer | Vaadin Code Review <review@vaadin.com> | 2015-06-26 11:13:18 +0000 |
| commit | 965faaf93b834d4d7e78edc70cf4c8cb63ad496e (patch) | |
| tree | 9954e2c111c7809787dfd3a2d247b7bdb4c81ffb /push/build.xml | |
| parent | f7a852e3df45437568e54cff592aae50ae9a06ce (diff) | |
| download | vaadin-framework-965faaf93b834d4d7e78edc70cf4c8cb63ad496e.tar.gz vaadin-framework-965faaf93b834d4d7e78edc70cf4c8cb63ad496e.zip | |
Provide compressed vaadinPush.js (#18329)
Change-Id: I81328655f64e78a02bb6d05017374d2d43049111
Diffstat (limited to 'push/build.xml')
| -rw-r--r-- | push/build.xml | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/push/build.xml b/push/build.xml index 9a45b86cfe..958bd5bf8f 100644 --- a/push/build.xml +++ b/push/build.xml @@ -26,7 +26,9 @@ <union id="jar.includes"> <fileset dir="${result.dir}/js"> <include name="VAADIN/vaadinPush.js" /> + <include name="VAADIN/vaadinPush.js.gz" /> <include name="VAADIN/vaadinPush.debug.js" /> + <include name="VAADIN/vaadinPush.debug.js.gz" /> </fileset> </union> @@ -77,6 +79,10 @@ <arg file="${vaadinPush.js}" /> <arg file="${vaadinPush.debug.js}" /> </java> + + <!-- Gzipped versions --> + <gzip src="${vaadinPush.js}" destfile="${vaadinPush.js}.gz" /> + <gzip src="${vaadinPush.debug.js}" destfile="${vaadinPush.debug.js}.gz" /> </target> <target name="jar" depends="vaadinPush.js"> |