diff options
Diffstat (limited to 'client-compiler')
| -rwxr-xr-x | client-compiler/src/com/vaadin/tools/WidgetsetCompiler.java | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/client-compiler/src/com/vaadin/tools/WidgetsetCompiler.java b/client-compiler/src/com/vaadin/tools/WidgetsetCompiler.java index 51d5ec8187..854efe54d6 100755 --- a/client-compiler/src/com/vaadin/tools/WidgetsetCompiler.java +++ b/client-compiler/src/com/vaadin/tools/WidgetsetCompiler.java @@ -80,6 +80,8 @@ public class WidgetsetCompiler { System.out.println("Starting GWT compiler"); System.setProperty("gwt.nowarn.legacy.tools", "true"); + System.setProperty("gwt.forceVersionCheckURL", + "http://tools.vaadin.com/version/currentversion.xml"); Class<?> compilerClass = Class .forName("com.google.gwt.dev.GWTCompiler"); Method method = compilerClass.getDeclaredMethod("main", |