diff options
| author | Jérémy Zurcher <jeremy@asynk.ch> | 2017-03-22 09:59:38 +0100 |
|---|---|---|
| committer | Jérémy Zurcher <jeremy@asynk.ch> | 2017-03-22 09:59:38 +0100 |
| commit | 6437ef7aff1291f74ddbcf0ab04aa0a7e346a591 (patch) | |
| tree | 7113090b3db6365c1971acd19ebafaec7a3bb9ed /java/vaadin/build.xml | |
| parent | 6085e4286da1ad625ce5da7bfdf9aa8faff19f02 (diff) | |
| download | share-6437ef7aff1291f74ddbcf0ab04aa0a7e346a591.zip share-6437ef7aff1291f74ddbcf0ab04aa0a7e346a591.tar.gz | |
java : vaadin : add description to jar target, add msg stating that HelloWorldServlet is not used
Diffstat (limited to 'java/vaadin/build.xml')
| -rw-r--r-- | java/vaadin/build.xml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/java/vaadin/build.xml b/java/vaadin/build.xml index 4cd8da1..c36b396 100644 --- a/java/vaadin/build.xml +++ b/java/vaadin/build.xml @@ -192,7 +192,7 @@ </jar> </target> - <target name="jar" depends="-jar.deps.check,-jar.deps"> + <target name="jar" description="build runnable jar" depends="-jar.deps.check,-jar.deps"> <delete file="${dist.dir}/${jar.name}"/> <jar jarfile="${dist.dir}/${jar.name}"> <manifest> |