diff options
| author | Artur Signell <artur@vaadin.com> | 2015-06-24 23:43:31 +0300 |
|---|---|---|
| committer | Henri Sara <hesara@vaadin.com> | 2015-07-04 14:30:25 +0300 |
| commit | 3a13678614cac7f5d3cc2fba9b28caec9a156d21 (patch) | |
| tree | e268efdd3c42a72c24d454bf691c9786b26577e3 | |
| parent | 7f7620fe1c5b3c956545ae7fe0f9ecaa08090473 (diff) | |
| download | vaadin-framework-3a13678614cac7f5d3cc2fba9b28caec9a156d21.tar.gz vaadin-framework-3a13678614cac7f5d3cc2fba9b28caec9a156d21.zip | |
Provide compressed vaadinPush.js (#18329)
Change-Id: I7dbc866a4f56d4425403f8ffbdaff4d22b2467c4
| -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"> |