Eclipse
/
jetty.project
mirror of https://github.com/jetty/jetty.project.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

#2152 add servlet api sources as well 

Signed-off-by: olivier lamy <oliver.lamy@gmail.com>
This commit is contained in:
olivier lamy 2018-04-03 15:24:13 +10:00
parent c316cf1cfe
commit 8ec1504279
1 changed files with 13 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

13
jetty-home/pom.xml
View File

@ -303,6 +303,19 @@
</artifactItems>
</configuration>
</execution>
<execution>
<id>copy-servlet-src-deps</id>
<phase>generate-resources</phase>
<goals>
<goal>copy-dependencies</goal>
</goals>
<configuration>
<includeGroupIds>javax.servlet</includeGroupIds>
<includeTypes>jar</includeTypes>
<classifier>sources</classifier>
<outputDirectory>${source-assembly-directory}/lib/servlet-api</outputDirectory>
</configuration>
</execution>
<execution>
<id>copy-annotations-deps</id>
<phase>generate-resources</phase>