Skip to main content
aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorDavid Williams2013-06-23 13:23:03 -0400
committerDavid Williams2013-06-23 13:23:03 -0400
commitdb5c26d86b339ddb87785ea46b6ca0b9950c3f86 (patch)
tree2a9de7ec704d5b369a8952c187e4e9a4c522a409
parent17d786204cf3b15ab21985203ada2c5d96814109 (diff)
downloadeclipse.platform.releng.aggregator-db5c26d86b339ddb87785ea46b6ca0b9950c3f86.tar.gz
eclipse.platform.releng.aggregator-db5c26d86b339ddb87785ea46b6ca0b9950c3f86.tar.xz
eclipse.platform.releng.aggregator-db5c26d86b339ddb87785ea46b6ca0b9950c3f86.zip
[releng] save properties in use during maven run
-rw-r--r--eclipse-platform-parent/pom.xml8
-rw-r--r--eclipse-platform-parent/saveproperties/mavenproperties.properties2
2 files changed, 10 insertions, 0 deletions
diff --git a/eclipse-platform-parent/pom.xml b/eclipse-platform-parent/pom.xml
index d5b8395d..b1fb063e 100644
--- a/eclipse-platform-parent/pom.xml
+++ b/eclipse-platform-parent/pom.xml
@@ -661,4 +661,12 @@
</build>
</profile>
</profiles>
+ <build>
+ <resources>
+ <resource>
+ <directory>saveproperties</directory>
+ <filtering>true</filtering>
+ </resource>
+ </resources>
+ </build>
</project>
diff --git a/eclipse-platform-parent/saveproperties/mavenproperties.properties b/eclipse-platform-parent/saveproperties/mavenproperties.properties
new file mode 100644
index 00000000..b1bef458
--- /dev/null
+++ b/eclipse-platform-parent/saveproperties/mavenproperties.properties
@@ -0,0 +1,2 @@
+project=
+comparator.repo=${comparator.repo}

Back to the top