diff options
| author | Jérémy Zurcher <jeremy@asynk.ch> | 2017-03-14 10:00:27 +0100 |
|---|---|---|
| committer | Jérémy Zurcher <jeremy@asynk.ch> | 2017-03-14 10:00:27 +0100 |
| commit | 66503524db1c667d6e2282b333d1aca3ec284fcb (patch) | |
| tree | 1fc00e5a759b48780074f10e27afac4408250a25 /java/vaadin/build.xml | |
| parent | 09c4b4be9ec33bac7d814dbeb28095a7a7add835 (diff) | |
| download | share-66503524db1c667d6e2282b333d1aca3ec284fcb.zip share-66503524db1c667d6e2282b333d1aca3ec284fcb.tar.gz | |
java : vaadin : add HelloWorldServlet
Diffstat (limited to 'java/vaadin/build.xml')
| -rw-r--r-- | java/vaadin/build.xml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/java/vaadin/build.xml b/java/vaadin/build.xml index b1ee9f4..f7024ce 100644 --- a/java/vaadin/build.xml +++ b/java/vaadin/build.xml @@ -97,6 +97,7 @@ deprecation="${compile.deprecation}" optimize="${compile.optimize}" includeantruntime="false"> + <classpath refid="cp.tomcat"/> <classpath refid="ivy.deps.server-side"/> <compilerarg value="-Xlint:all"/> <compilerarg value="-Xlint:-path"/> |