diff options
Diffstat (limited to 'jetty-jndi/src/main/config/modules/jndi.mod')
-rw-r--r-- | jetty-jndi/src/main/config/modules/jndi.mod | 8 |
1 files changed, 5 insertions, 3 deletions
diff --git a/jetty-jndi/src/main/config/modules/jndi.mod b/jetty-jndi/src/main/config/modules/jndi.mod index cfdcc52614..33c077ce68 100644 --- a/jetty-jndi/src/main/config/modules/jndi.mod +++ b/jetty-jndi/src/main/config/modules/jndi.mod @@ -2,8 +2,10 @@ # JNDI Support # -DEPEND=server +[depend] +server -LIB=lib/jetty-jndi-${jetty.version}.jar -LIB=lib/jndi/*.jar +[lib] +lib/jetty-jndi-${jetty.version}.jar +lib/jndi/*.jar |