Merge branch 'master' into jetty-9.1

2013-08-14 14:43:58 -05:00 · 2013-08-14 14:43:58 -05:00 · c93363055c
parent 00d160a1c9 654b434323
commit c93363055c
1 changed files with 6 additions and 0 deletions
--- a/pom.xml
+++ b/pom.xml
@ -651,6 +651,12 @@
      </modules>
    </profile>
 -->
+    <profile>
+      <id>ci</id>
+      <modules>
+        <module>aggregates/jetty-all</module>
+      </modules>
+    </profile>
    <profile>
      <id>update-version</id>
      <build>