diff options
| author | Artur Signell <artur@vaadin.com> | 2015-08-03 13:21:23 +0300 |
|---|---|---|
| committer | Artur Signell <artur@vaadin.com> | 2015-09-04 10:38:29 +0000 |
| commit | ebceef4d44bcd61605fa92fcf7be8d3678537599 (patch) | |
| tree | 7394cf8dedfff8978049aa73e998639b8cd57879 /build/ide.xml | |
| parent | f3f3a74d5779b5ff0270700a998b1b62c60a45b9 (diff) | |
| download | vaadin-framework-ebceef4d44bcd61605fa92fcf7be8d3678537599.tar.gz vaadin-framework-ebceef4d44bcd61605fa92fcf7be8d3678537599.zip | |
Don't copy gzipped push files into the project so you can modify the .js files
Change-Id: I9c580a16acb8b2ceef2872c6d043a8a07a9909fe
Diffstat (limited to 'build/ide.xml')
| -rwxr-xr-x | build/ide.xml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/build/ide.xml b/build/ide.xml index 4bd839365f..d468473392 100755 --- a/build/ide.xml +++ b/build/ide.xml @@ -181,7 +181,7 @@ <property name="js.output.dir" location="WebContent" /> <property name="push.js.dir" location="${basedir}/push/result/js" /> <copy todir="${js.output.dir}"> - <fileset dir="${push.js.dir}" includes="VAADIN/vaadinPush*"> + <fileset dir="${push.js.dir}" includes="VAADIN/vaadinPush*" excludes="**/*.gz"> </fileset> </copy> </target> |