diff options
Diffstat (limited to 'jetty-servlet/src/main/config/modules/servlet.mod')
| -rw-r--r-- | jetty-servlet/src/main/config/modules/servlet.mod | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/jetty-servlet/src/main/config/modules/servlet.mod b/jetty-servlet/src/main/config/modules/servlet.mod index a427eed547..fdb65c57a1 100644 --- a/jetty-servlet/src/main/config/modules/servlet.mod +++ b/jetty-servlet/src/main/config/modules/servlet.mod @@ -2,6 +2,8 @@ # Jetty Servlet Module # -DEPEND=server +[depend] +server -LIB=lib/jetty-servlet-${jetty.version}.jar +[lib] +lib/jetty-servlet-${jetty.version}.jar |