diff options
| author | John Ahlroos <john@vaadin.com> | 2013-04-17 11:46:19 +0300 |
|---|---|---|
| committer | John Ahlroos <john@vaadin.com> | 2013-04-17 14:46:21 +0300 |
| commit | 0f75f202d333ac507fb3e5efb8e9bd4d4719e098 (patch) | |
| tree | bd19061fbde6c5cf665b0bd4fcefd1c78567800d /build | |
| parent | 1c4adacdc2c59a4dd33633806902cb6224141954 (diff) | |
| download | vaadin-framework-0f75f202d333ac507fb3e5efb8e9bd4d4719e098.tar.gz vaadin-framework-0f75f202d333ac507fb3e5efb8e9bd4d4719e098.zip | |
Added test for testing push with different transports #11494
Change-Id: I0296bdee1925ba93ca7e4e65c68215e025d072f6
Diffstat (limited to 'build')
| -rwxr-xr-x | build/ide.xml | 19 |
1 files changed, 16 insertions, 3 deletions
diff --git a/build/ide.xml b/build/ide.xml index 5b27488d59..e040dc5c8c 100755 --- a/build/ide.xml +++ b/build/ide.xml @@ -82,8 +82,22 @@ </java> </target> + + <target name="default-widgetset"> - <property name="module" value="com.vaadin.DefaultWidgetSet" /> + <antcall target="compile-widgetset"> + <param name="widgetset" value="com.vaadin.DefaultWidgetSet" /> + </antcall> + </target> + + <target name="testing-widgetset"> + <antcall target="compile-widgetset"> + <param name="widgetset" value="com.vaadin.tests.widgetset.TestingWidgetSet" /> + </antcall> + </target> + + <target name="compile-widgetset"> + <property name="module" value="${widgetset}" /> <property name="module.output.dir" location="WebContent/VAADIN/widgetsets" /> <property name="style" value="PRETTY" /> <property name="localWorkers" value="2" /> @@ -119,6 +133,5 @@ <jvmarg value="-Djava.awt.headless=true" /> <jvmarg value="-Dgwt.usearchives=false" /> </java> - - </target> + </target> </project>
\ No newline at end of file |