diff options
| -rw-r--r-- | build/build.xml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/build/build.xml b/build/build.xml index 5e168ff51e..3261515218 100644 --- a/build/build.xml +++ b/build/build.xml @@ -821,6 +821,7 @@ </java> <copy file="${output-dir}/WebContent/WEB-INF/lib/${lib-jar-name}" tofile="${output-dir}/WebContent/${lib-jar-name}" /> + <echo>##teamcity[publishArtifacts '${output-dir}/WebContent/WEB-INF/lib/${lib-jar-name}']</echo> </target> <target name="vaadin-sources.jar" depends="init"> |