aboutsummaryrefslogtreecommitdiffstats
path: root/build
diff options
context:
space:
mode:
authorArtur Signell <artur@vaadin.com>2015-08-03 13:21:23 +0300
committerArtur Signell <artur@vaadin.com>2015-09-04 10:38:29 +0000
commitebceef4d44bcd61605fa92fcf7be8d3678537599 (patch)
tree7394cf8dedfff8978049aa73e998639b8cd57879 /build
parentf3f3a74d5779b5ff0270700a998b1b62c60a45b9 (diff)
downloadvaadin-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')
-rwxr-xr-xbuild/ide.xml2
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>