diff options
| author | Henri Sara <hesara@vaadin.com> | 2011-11-01 09:44:07 +0200 |
|---|---|---|
| committer | Henri Sara <hesara@vaadin.com> | 2011-11-01 09:44:07 +0200 |
| commit | 59974ede707c66db42cb176a350da1a9cf86f0a8 (patch) | |
| tree | 4e4c1c2e49e2979155e1180bad710409382af1ee /build | |
| parent | 9584e82890aca4381f88f51c0d441a8a2f65fa71 (diff) | |
| download | vaadin-framework-59974ede707c66db42cb176a350da1a9cf86f0a8.tar.gz vaadin-framework-59974ede707c66db42cb176a350da1a9cf86f0a8.zip | |
Do not use special -noservlet versions of GWT JARs.
As Vaadin 7 uses Servlet API 2.4, special -noservlet versions of GWT
JARs are not needed anymore.
Diffstat (limited to 'build')
| -rw-r--r-- | build/build.properties | 6 |
1 files changed, 2 insertions, 4 deletions
diff --git a/build/build.properties b/build/build.properties index 82378c6dac..df8e6e77a8 100644 --- a/build/build.properties +++ b/build/build.properties @@ -10,10 +10,8 @@ snapshot.repository.url=http://oss.sonatype.org/content/repositories/vaadin-snap # These are required when compiling WebContent/VAADIN/widgetsets (and also # Java server-side classes). -# Using special -noservlet packages to be able to use a different version of -# the servlet specification than what the GWT JARs include. -lib-gwt-dev=${gwt-dir}/gwt-dev-noservlet.jar -lib-gwt-user=${gwt-dir}/gwt-user-noservlet.jar +lib-gwt-dev=${gwt-dir}/gwt-dev.jar +lib-gwt-user=${gwt-dir}/gwt-user.jar # FIXME: Should use ${gwt-version-dependencies} lib-gwt-validation=${gwt-dir}/validation-api-1.0.0.GA.jar lib-gwt-validation-src=${gwt-dir}/validation-api-1.0.0.GA-sources.jar |