diff options
| -rw-r--r-- | releng/extra/pom.xml | 17 |
1 files changed, 17 insertions, 0 deletions
diff --git a/releng/extra/pom.xml b/releng/extra/pom.xml index 98cbe25ed54..5e2d32f51aa 100644 --- a/releng/extra/pom.xml +++ b/releng/extra/pom.xml @@ -560,6 +560,23 @@ </activation>
</profile>
+ <!-- Used with pack and packAndSign -->
+ <profile>
+ <id>buildExtra</id>
+ <repositories>
+ <repository>
+ <id>papyrus-main</id>
+ <layout>p2</layout>
+ <url>${papyrus.repo.main}</url>
+ </repository>
+ </repositories>
+ <activation>
+ <property>
+ <name>SIGN</name> <!-- Either true or false -->
+ </property>
+ </activation>
+ </profile>
+
<profile>
<id>buildAll</id>
|